merge

2020-10-03 16:52:42 +02:00
parent eb2314eeb8
commit 00c037ec95
1 changed files with 1 additions and 1 deletions
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-VERSION=0.6r11
+VERSION=0.6r9
 DEST=$1
 shift 1
 ORIG=$@