Skip to content

Update release helper script

Paul Gessinger requested to merge rel_script_dec into master

To adapt to new/old workflow.

This is only invoked manually (by me) so should be uncontroversial.

Merge request reports