On 2016-03-13, Scott Kostyshak wrote: > [-- Type: text/plain, Encoding: --]
> On Thu, Mar 10, 2016 at 05:24:55PM -0500, Scott Kostyshak wrote: >> On Wed, Mar 09, 2016 at 07:40:34PM +0000, Guenter Milde wrote: >> Thanks, Guenter. This really puts things into perspective for me. >> I updated #8035 with your clear explanation. > Should we mark these tests as unreliable, with a comment pointing to > #8035? This would not harm, but as the tests work (again) for both of you, you could also just leave it. Günter