On 20 Oct 2015, at 12:59, Jean Baptiste Arnaud <jbaptiste.arnaud@gmail.com> wrote:Can I have a link to the source ?On 20 Oct 2015, at 05:03, Nicolai Hess <nicolaihess@gmail.com> wrote:2015-10-20 7:27 GMT+02:00 Marcus Denker <marcus.denker@inria.fr>:
> On 20 Oct 2015, at 00:26, Jean Baptiste Arnaud <jbaptiste.arnaud@gmail.com> wrote:
>
> Hi, maybe a useful question :-)
>
> I crashed a image :-)
> And I ask myself:
> - There are a more advance (thinking bout maybe epicea) change browser ? Because a list of 1293801283 changes and just 1 options select all (which is broken you should use shortcut) will not really helpmeet
We are in the process of integrating it. We tried saturday night, but the resulting update did not finish running all tests and we had to revert.