The version of the CI builds of the Debian packages is using 2.10.0~pre0. The VERSION file was changed to 2.10.0~pre1 in ac537d1 but the tag was never pushed.
@andypugh maybe you forgot to add --tags to a git push?
(note: when the HAL changes to 64-bit are integrated, then we need a change in VERSION tag again to distinguish history.)
The version of the CI builds of the Debian packages is using
2.10.0~pre0. The VERSION file was changed to2.10.0~pre1in ac537d1 but the tag was never pushed.@andypugh maybe you forgot to add
--tagsto a git push?(note: when the HAL changes to 64-bit are integrated, then we need a change in VERSION tag again to distinguish history.)