On Sun, Jul 1, 2018 at 6:42 AM, Paul Eggert <egg...@cs.ucla.edu> wrote: > Jim Meyering wrote: > >> Subject: [PATCH] bootstrap: s/--option val/--option=val/ > > Thanks, that looks good to me. (I had run into the same problem but was > hoping someone else would have time to look into it....)
Thanks. Pushed.