Hi Ben, > On 23 Nov 2017, at 12:04, Ben Elliston <[email protected]> wrote: > > Hi Olivier > > Thanks for the patch--it looks fine and I will commit it soon.
Great, thanks for your lightening fast feedback :) Best Regards, Olivier _______________________________________________ config-patches mailing list [email protected] https://lists.gnu.org/mailman/listinfo/config-patches
