On 05/11/2017 11:02 AM, Bernhard Reutner-Fischer wrote:
On 11 May 2017 at 16:52, Nathan Sidwell <nat...@acm.org> wrote:
Bernhard's pestering finally got through.  There was an early out that
failed to stop the timer.

fixed by rearranging the code.

:) thanks.
LGTM but i cannot approve it.

Oh, already committed. thanks for cluebatting

nathan

--
Nathan Sidwell

Reply via email to