Version

Version number change guidelines

The version number have to be changed using the ./version script at upper level, so doing something like ./version 2.18.0.