Commit a103699d83397de06e2e93dec6d278f750a0ed0b

Bruno Haible 2017-08-24T23:49:08

* doc/gnulib-intro.texi: Add comment regarding IRIX.