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).