Skip to content

[release/dev17.13] Update to Ubuntu 22.04 #12349

Merged
dbreshears merged 1 commit intorelease/dev17.13from
backport/pr-12340-to-release/dev17.13
Oct 16, 2025
Merged

[release/dev17.13] Update to Ubuntu 22.04 #12349
dbreshears merged 1 commit intorelease/dev17.13from
backport/pr-12340-to-release/dev17.13

Commits

Commits on Oct 16, 2025