Paul Eggert c9c6abfa81 Update from Gnulib by running admin/merge-gnulib ...

The following changes were made by hand,
so that admin/merge-gnulib could succeed
instead of failing because the diff didn’t match.
* admin/gnulib-patches/lib/getloadavg.c.diff:
Remove, as it is no longer needed now that recent
Gnulib has been merged.
* admin/merge-gnulib (GNULIB_TOOL_FLAGS):
Remove the --local-dir="$src"admin/gnulib-patches option,
as it is no longer needed either.

2025-05-08 00:16:46 -07:00

19 KiB

Raw Blame History

View Raw