diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-08-06 17:32:52 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-08-06 17:32:52 +0530 |
| commit | ac438906e9531019a8c94274ffa2450201252850 (patch) | |
| tree | b9e8ef3871fe331e3454c87849b8aba851e74fc7 /contrib/devrelease.sh | |
| parent | 59fe51806df627dcb9c0499a0c22421032f7a542 (diff) | |
always terminate properly
Diffstat (limited to 'contrib/devrelease.sh')
0 files changed, 0 insertions, 0 deletions