Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: PATCH: Rimmerworld pipeline race



> On 07 September 2018 at 15:58 Peter Stephenson <p.stephenson@xxxxxxxxxxx> wrote:
> 
> 
> On Fri, 7 Sep 2018 15:01:40 +0100
> Peter Stephenson <p.stephenson@xxxxxxxxxxx> wrote:
> > OK, this is *much* closer and possibly correct.
> 
> Here's a more sophisticated fix, though I'll take votes on which to use
> for now.

(Don't all shout at once.)

Actually, I can't see a good reason why I shouldn't simply commit this.  It's much
the neatest way of keeping the states aligned.  I'll do that.

pws



Messages sorted by: Reverse Date, Date, Thread, Author