Commit c81d4c183a13638d7f9a48cd5d6c7dc554ae0174

Paul Eggert 2021-09-04T00:24:12

intprops: fix minor doc glitches * doc/intprops.texi (Integer Properties): Fix doc glitches.