Commit f0d3a4d726d16b77b3fe7fb155b29ab792452a4f

Paul Eggert 2021-03-07T13:47:02

manywarnings: modernize documentation Problem reported by Reuben Thomas in: https://lists.gnu.org/r/bug-gnulib/2021-03/msg00046.html * doc/manywarnings.texi (manywarnings): Update in the light of recent changes to the manywarnings module.