On Sun, Oct 16, 2016 at 12:13 PM, Pádraig Brady <[email protected]> wrote: > On 16/10/16 19:50, Jim Meyering wrote: ... >> Here's one more change I'll push today. It removes a few now-useless >> calls to "abort" after die, and by a similar token, removes some >> "break;" statements after abort: > > looks good.
Thanks. Pushed.
