version v5.11_devel: mark as dev for next release

wwcharGithub · Sep 27, 2016 · 10eb920 · 10eb920
1 parent eca3d3b
commit 10eb920
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.9.0_testing
+DEF_VER=v5.11_devel
 
 # First try git describe (if running on a git repo),
 # then use default version from above (for release tarballs).