+2023-04-12 Paul Eggert <eggert@cs.ucla.edu>
+
+ doc: year2038 MIPS o32 nudge
+ * doc/year2038.texi: Use more-common "o32" name for
+ 32-bit MIPS ABI.
+
2023-04-12 Bruno Haible <bruno@clisp.org>
Add more reminders to include <config.h>.
@itemize
@item
Linux kernel 5.1 (2019) and later with glibc 2.34 (2021) and later on
-x86, arm, mips (32-bit or n32 ABI), powerpc32, sparc32, s390, hppa, m68k, sh, csky, microblaze, nios2,
+x86, arm, mips (o32 or n32 ABI), powerpc32, sparc32, s390, hppa, m68k, sh, csky, microblaze, nios2,
@item
Linux kernel 5.1 (2019) and later with musl libc 1.2 (2020) and later on x86,
@item