diff options
| -rwxr-xr-x | scripts/mk-w32-dist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/mk-w32-dist b/scripts/mk-w32-dist index 3536c979d..3f8a9a088 100755 --- a/scripts/mk-w32-dist +++ b/scripts/mk-w32-dist @@ -88,3 +88,4 @@ zip -9 "gnupg-w32cli-${version}.zip" * + |