On Sun, Sep 30, 2018 at 1:44 PM Miguel Ojeda <[email protected]> wrote: > > On Sat, Sep 29, 2018 at 12:03 AM Joe Perches <[email protected]> wrote: > > > > Please fix this defect appropriately. > > Thanks, will send a PR. >
Done & merged by Greg. Cheers, Miguel
