release script: remove debugging artefact
commit6ec4b074464648adafe951332c788a8da1a1eb83
authorAndreas Gohr <andi@splitbrain.org>
Mon, 27 Feb 2023 12:15:33 +0000 (27 13:15 +0100)
committerAndreas Gohr <andi@splitbrain.org>
Mon, 27 Feb 2023 12:15:33 +0000 (27 13:15 +0100)
tree45b0be48b578b2c37096a6d0e649cd3fa552bccb
parent017f2aa27bddfec183008cd45bcabe32599bc2c3
release script: remove debugging artefact
.github/release.php