Commit 1956403d678e5a41b401be75658127543ab0ce40

Karl Berry 2015-11-17T07:42:47

update from texinfo