Commit 3b2f84383f6ce4f5b8ba9d6cbd89ac8d73a69871

Karl Berry 2016-08-04T06:13:19

update from texinfo