Commit 8d42dedb15b94c1b10aaa34f5b21243ef225893b

Bruno Haible 2024-05-02T20:10:14

doc: Add appendix about Gnulib history. * doc/gnulib-history.texi: New file. * doc/gnulib.texi: Include it.