Closed kpet closed 3 months ago
Default version coming with Ubuntu 22.04 that the CI now uses.
Merging as discussed in the June 25th teleconference.
Default version coming with Ubuntu 22.04 that the CI now uses.