On Sat, Jun 15, 2019 at 05:53:09AM -0000, Guenter Milde wrote: > This should, IMO, be release-critical. > > The trick is to differentiate these from the tests that change document
I have nothing against only critical tests being involved, but at this stage we are not there... Pavel