Weird bug. I switched to another way to test the feature that broke in the testsuite here. It should be more portable, I hope.
On Tue, Oct 31, 2023 at 11:23 PM Friedrich Beckmann < friedrich.beckm...@gmx.de> wrote: > Hi Ben, > > i guess something went wrong with one of the last commits: > > https://caeis.etech.fh-augsburg.de/buildbot/#/console > > Cheers > > Fritz > >
