Closed doudou closed 2 years ago
This needs https://github.com/rock-core/autoproj/pull/333 to be merged and released.
Just release 2.15.0 with the necessary support ... Now merging this.
This needs https://github.com/rock-core/autoproj/pull/333 to be merged and released.