Hi Ben, > On 23 Nov 2017, at 12:04, Ben Elliston <b...@air.net.au> 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 config-patches@gnu.org https://lists.gnu.org/mailman/listinfo/config-patches
