On Sun, Mar 23, 2014 at 8:16 PM, Julien Cristau <jcristau@debian.org> wrote: > No, there's a reason we use 4.7 and not a newer version. What reason is that?