Commit 6560242c4a34f555dd079c8e8d4ebd29bc95c161

Karl Berry 2016-05-08T09:11:48

update from texinfo