syl@??? wrote (02 Jul 2015 11:38:45 GMT) : > A bigger patch.
Merged, thanks. Note that I've added commit 869dd12 on top, since the
proposed patch included the English version of
doc/first_steps/upgrade.release_notes, while we have
a French translation.