From 0f08c1366bf047f1258ef378e3cc49b59db64003 Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Sat, 17 Sep 2016 18:37:47 +0200
Subject: Use "develop" for debian version name.

---
 scripts/release_ppa.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh
index 6a30faf5..7231f582 100755
--- a/scripts/release_ppa.sh
+++ b/scripts/release_ppa.sh
@@ -59,7 +59,7 @@ commitdate=`git show --format=%ci HEAD | head -n 1 | cut - -b1-10 | sed -e 's/-0
 echo "$commithash" > commit_hash.txt
 if [ $branch = develop ]
 then
-    debversion="$version-nightly-$commitdate-$commithash"
+    debversion="$version-develop-$commitdate-$commithash"
 else
     debversion="$version"
     echo -n > prerelease.txt # proper release
-- 
cgit