Hi Olivier Thanks for the patch--it looks fine and I will commit it soon.
Cheers, Ben
signature.asc
Description: PGP signature
_______________________________________________ config-patches mailing list config-patches@gnu.org https://lists.gnu.org/mailman/listinfo/config-patches
