Commit 6c8bcfcbed6270ca5eb50d94d324d81157a5c912

Paul Eggert 2011-05-22T13:31:38

* doc/intprops.texi: fix typo in copyright date