The most recent version release-1.1pre18 has been released for more than 16 months, and some Linux distributions are stagnated at this version. I was hoping that bumping a version could improve this situation. I see there is a development release on Jun 5 and was wondering if there was any plan to bump the version (e.g., maybe to make it release-1.1pre19). Thanks! @gsliepen
The most recent version release-1.1pre18 has been released for more than 16 months, and some Linux distributions are stagnated at this version. I was hoping that bumping a version could improve this situation. I see there is a development release on Jun 5 and was wondering if there was any plan to bump the version (e.g., maybe to make it release-1.1pre19). Thanks! @gsliepen