Florian Schlichting 69d5c58a5b switch egrep to grep -E to avoid test failure
this is https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019335, which
should be fixed but apparently isn't in the image we're using...
2022-10-04 09:41:09 +02:00
..