mark as v5.13 devel until next release

2026-05-09 14:18:00 +08:00 · 2017-09-04 23:11:18 +02:00
parent 8158c64ac2
commit 26a8895820
1 changed files with 1 additions and 1 deletions
@@ -1,6 +1,6 @@
 #!/bin/sh

-DEF_VER=v5.12_stable
+DEF_VER=v5.13_devel

 # First try git describe (if running on a git repo),
 # then use default version from above (for release tarballs).