-
Tom Gundersen authored
This is required for the CI to pass, as CentOS has a too old version of GCC. Ideally this patch should be dropped.
6c20e802
This is required for the CI to pass, as CentOS has a too old version of GCC. Ideally this patch should be dropped.