Subject: Re: bug#16853: 24.3.50; ert-run-tests-interactively difficult to abort

From: [email-masked]
Date: Thu, 16 Mar 2017 22:45:57 -0400

severity 16853 wishlist
quit

Lars Ingebrigtsen <[email-masked]> writes:

> I think this makes sense, but the discussion seemed to go off on a
> tangent, and the patch wasn't applied.
>
> And I'm not familiar with the ert internals, but could somebody look at
> the patch and see whether it looks reasonable?

Looks good to me.  I'll push to master in week or so, if there are no
objections.