Closed chriskiefer closed 9 months ago
fixed compilation error on Ubuntu 22
Thanks @chriskiefer! I'll also add an issue to include ubuntu 22 in the continuous integration tests.
fixed compilation error on Ubuntu 22