Quoting Janis Schoetterl-Glausch (2022-09-01 18:08:17) [...] > > Hmhm, I am unsure whether a skip is the right thing here. On one hand, it might hide bugs, on the other hand, it might cause spurious failures. Why did you decide for the skip? > > Yeah, it's a toss-up. Claudio asked me to change it in v4. Allright, then: Reviewed-by: Nico Boehr <nrb@xxxxxxxxxxxxx>
