mark as v5.15 devel until next release

Ro9ueAdmin · Dec 19, 2018 · 16444fd · 16444fd
1 parent 3f680d1
commit 16444fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paparazzi_version b/paparazzi_version
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-DEF_VER=v5.14.0_stable
+DEF_VER=v5.15_devel
 
 # First try git describe (if running on a git repo),
 # then use default version from above (for release tarballs).