Commit 6e30ee22a80ae33d8c873b63c03cabd7d00c329e

Paul Eggert 2021-11-01T18:18:13

* doc/gnulib-intro.texi: Fix some ancient history.