Hello Glenn, > I posted a v2 of the patch back in October with the requested comment > above. I'm guessing it got missed. If you still want me to repost the > v2 patch please let me know. > > [1] https://lists.gnu.org/archive/html/bug-gnulib/2021-10/msg00073.html
Indeed, I missed it. Sorry about that. I pushed it now, in your name. Thanks for the improvement! Bruno
