Commit e4f1a4a5bcd4fa6da6b7663c548ab411423b8c2a

Karl Berry 2016-08-06T08:18:27

update from texinfo