Update release.php

This commit is contained in:
Remco Tolsma 2023-07-08 16:46:33 +02:00
parent d778c1420c
commit eb6759f16c
1 changed files with 1 additions and 1 deletions

View File

@ -215,7 +215,7 @@ run(
);
line( '::endgroup::' );
exit;
/**
* Git user.
*