Op 20-08-2022 om 15:32 schreef Erik Rijkers:
> Op 19-08-2022 om 17:29 schreef Pavel Stehule:
>
> make check fails as a result of the errors in the attached
> session_variables.out.
>
Sorry, that should have been this diffs file, of course (attached).
Erik