Re: { exit } always { foo }

[Peter Stephenson <p.stephenson@xxxxxxxxxxx>]

On Thu, 2019-12-19 at 15:28 +0000, Daniel Shahaf wrote:
> Daniel Shahaf wrote on Wed, 18 Dec 2019 05:23 +00:00:
> > 
> > So, personally, I would find it more intuitive to change the implementation to
> > match the documentation, than the other way around.
> I'll wait a bit more for feedback.  If the decision ends up being to change the
> implementation to match the documentation, I'll at least document it as
> a bug/incompatibility, or maybe fix it if I manage that.

I don't think it's that big a deal either way as long as the inconsistency
gets fixed; I'd be happy to leave it to what ever feels most natural if you're
using the feature in question.

cheers
pws