Commit Graph

2 Commits

Author SHA1 Message Date
Robin Gloster 5185bc1773 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-15 14:41:01 +00:00
Rahul Gopinath cf5ebca53e texinfo: 6.0 -> 6.1 2016-07-09 16:47:53 +02:00