Fix server build on Ubuntu 20.04 and 22.04#82
Merged
stephanemagnenat merged 2 commits intoGlobulation2:masterfrom Apr 24, 2023
Merged
Fix server build on Ubuntu 20.04 and 22.04#82stephanemagnenat merged 2 commits intoGlobulation2:masterfrom
stephanemagnenat merged 2 commits intoGlobulation2:masterfrom