mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2025-01-18 03:52:11 +01:00
86c262d708
And make required fixes which include an extra function in version-info.py: ${VERSION_FOR_NUM} e.g. 15.09.1.12344