2 commits

Author	SHA1	Message	Date
Paul Eggert	9e98ff562b	Update from Gnulib by running admin/merge-gnulib	2023-01-06 18:05:57 -08:00
Paul Eggert	bda755bf92	Update from Gnulib by running admin/merge-gnulib	2022-12-18 00:24:13 -08:00