Commit d9bd36759da45e2cd02cdc6f80c2a6a94e5cfdfa

Karl Berry 2015-12-17T13:46:39

update from texinfo