On Wed, 06 Feb 2013 21:11:29 +0100
intrigeri <intrigeri@???> wrote: >
> I don't think it actually fixes any real bug anymore, so I don't think
> we'll be able to show an actual difference between the behaviour with
> or without this branch merged.
>
> But still, I think it's a good idea to set this preference to false,
> to be extra careful.
> OK merged. Thanks!
