Hi Paul, The diffutils CI reports a build failure today:
... obsolete_symbols /usr/bin/grep: ../../sources/diffutils/.gitmodules: No such file or directory 0.01 obsolete_symbols po_check --- ../../sources/diffutils/po/POTFILES.in +++ ../../sources/diffutils/po/POTFILES.in @@ -4,6 +4,7 @@ lib/error.c lib/file-type.c lib/getopt.c +lib/propername.h lib/quotearg.c lib/regcomp.c lib/version-etc.c maint.mk: you have changed the set of files with translatable diagnostics; apply the above patch make[3]: *** [../../sources/diffutils/maint.mk:1236: sc_po_check] Error 1 Where 6 days ago, this rule 'sc_po_check' succeeded: ... obsolete_symbols /usr/bin/grep: ../../sources/diffutils/.gitmodules: No such file or directory 0.01 obsolete_symbols po_check 0.02 po_check prohibit_HAVE_MBRTOWC /usr/bin/grep: ../../sources/diffutils/.gitmodules: No such file or directory 0.01 prohibit_HAVE_MBRTOWC ... Probably the cause is that gnulib/lib/propername.h now has a _() invocation inside comments, per https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=3f478b6cd3041b85891ff4a3ef1a141f85f82e49 Bruno
