beremiz

GH CI: try reverting to previous version of ubuntu

2022-12-13, etisserant
ddadbdf20e70
GH CI: try reverting to previous version of ubuntu
<?xml version='1.0' encoding='utf-8'?>
<CExtension CFLAGS="" LDFLAGS=""/>