This add some details to the bottom of the release description, namely the related PR and the workflow that created the release.
Closes #80.
#patch
This release is based on pull request #103 and has been published by release job 12245050871.
This add some details to the bottom of the release description, namely the related PR and the workflow that created the release.
Closes #80.
#patch
This release is based on pull request #103 and has been published by release job 12245050871.