On Sun, Dec 09 2018 at 12:15:20 AM, "G. Branden Robinson" <g.branden.robin...@gmail.com> wrote: > At 2018-12-09T01:02:19+0100, Bertrand Garrigues wrote: >> > I'm attaching the fix to the "POSITIONS FROM INSTALLATION" section >> > (which I would like to rename--it's pretty awkward English), and below >> > please find a 'git log origin..HEAD' of my other pending changes. >> >> I think you've attached another patch, the 'POSITIONS FROM INSTALLATION' >> section is unchanged. > > Err, yes. I've got several commits queued and mixed them up. > > I've got the right one this time.
hmm... the patch does not apply for me (I'm on master 92f40b186aa2adda8039fff09c1246bdd30dbd3d). Also, as 'POSITION FROM INSTALLATION' sounds like bad English for you, why not fix it right away? Thanks, Bertrand
