On 20 March 2018 at 21:33, Karl Fogel <kfogel@red-bean.com> wrote:

>
> Richard sent an off-list reply (I didn't realize it was off-list until
> later) saying that the above looked like a good solution.  So I made the
> change (commit 3a3aa0e05), then reverted (commit 6d2e8fdd) after Eli
> reiterated that he didn't see a problem with the original code.  I
> mistakenly thought we had consensus on the change, but clearly I was wrong
> and further discussion is needed.
>

Yes, sorry, I intended to reply to everyone. I felt I should reply, but
only on my own behalf. I was a bit surprised by your reaction!
:)