Commit 190bc0f7f057e97edeb64628dedba1ade12df458

Karl Berry 2016-06-04T05:49:04

update from texinfo