Commit f7c7d9aa17d58e81230654c4f9f60327ed659e1d

Paul Eggert 2012-12-29T17:36:15

* doc/intprops.texi (Integer Properties): Fix Texinfo typo.