Commit 78ad5003f1965577d730e42adfd05706cfeec81d

Karl Berry 2011-10-19T14:10:30

update from texinfo