Merge branch 'maint'
commit14652299573e7e6bdd34a20d7da31c2519f68ebe
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Fri, 19 Sep 2014 22:35:09 +0000 (20 00:35 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Fri, 19 Sep 2014 22:35:09 +0000 (20 00:35 +0200)
tree0eef086f0dffa04cda1036d1fe5ca28f76dc96b6
parentb82f1cb2c229cc806f3cd9bb79bdcd35d0aa6a69
parent2d02479c344e21afd80ad88defd2a0766e5ed4ce
Merge branch 'maint'

Conflicts:
doc/org.texi
doc/org.texi