Version 10.7.6 at https://drive.google.com/drive/u/0/folders/0B5_zuEeNEicQY1U0dFRYWTZqblU should have the suggested changes. I'd be glad to fix any other issues.
On Mon, Jun 18, 2018 at 12:52 PM, Marco Atzeri <marco.atz...@gmail.com> wrote: > On 6/18/2018 9:22 PM, mark mitchell wrote: > >> Yes, quite true. I can fix this a few hours from now. >> > > no problem, Mark. > > PS: on cygwin mailing list we use bottom post and trim > > > >
