Commit 532bfcfc55d4818530cfbcec2574d78982b9d68e

Karl Berry 2016-05-28T08:39:46

update from texinfo