From 9d9a0d175b299df7aae571287b74a5003d9111ca Mon Sep 17 00:00:00 2001
From: Gautier Hattenberger <gautier.hattenberger@enac.fr>
Date: Fri, 15 May 2020 11:58:52 +0200
Subject: [PATCH] mark as v5.17 devel until next release

---
 paparazzi_version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/paparazzi_version b/paparazzi_version
index 54f07bda53..5af0000761 100755
--- a/paparazzi_version
+++ b/paparazzi_version
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-DEF_VER=v5.16.0_stable
+DEF_VER=v5.17_devel
 
 # First try git describe (if running on a git repo),
 # then use default version from above (for release tarballs).