release-29cf88d
·
9 commits
to master
since this release
Fixing faulty workflow job (#257) # Changes * Fixing bad property assignment in workflow for git merge -> discord notifications.