From d1bb29394197bddb8a477b20bc67310fd5268acb Mon Sep 17 00:00:00 2001
From: Felix Ruess <felix.ruess@gmail.com>
Date: Fri, 9 Aug 2013 16:15:58 +0200
Subject: [PATCH] set paparazzi_version to v5.1_devel

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

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