Commit a214964682085cb1e57a77db082f5e9387646f9c

Paul Eggert 2015-12-17T23:06:29

intprops: comment fix * lib/intprops.h: Fix comment. Reported by Pádraig Brady in: http://lists.gnu.org/archive/html/bug-gnulib/2015-12/msg00013.html