Commit 1dc32e5cb7a1d82b0f6e23f21ac82e7477259e03

Bruno Haible 2023-06-03T12:26:08

gnulib-tool: Keep in sync with last change to gnulib-tool.py. * gnulib-tool (func_emit_po_Makevars): Treat proper_name_lite like proper_name_utf8.