Commit 3e6b572b5f6dcd204f3636e3c7a265063a315f2c

Paul Eggert 2023-04-10T15:15:37

doc: document year2038 first * doc/year2038.texi: Document year2038 first, then year2038-required.