diff --git a/paparazzi_version b/paparazzi_version index 521a99e14ad..ad00a1aa0ce 100755 --- a/paparazzi_version +++ b/paparazzi_version @@ -1,6 +1,6 @@ #!/bin/sh -DEF_VER=v4.1_unstable +DEF_VER=v4.9_devel # First try git describe (if running on a git repo), # then use default version from above (for release tarballs).