Now it merged.
On Friday 10 April 2015 13:16:30 Thiago Macieira wrote:
> Oops, it's not in. It was another commit that went in, the one that removed
> the old headersclean.
>
> On Friday 10 April 2015 09:28:02 Thiago Macieira wrote:
> > As discussed in previous threads.
> >
> > This is just a re
Oops, it's not in. It was another commit that went in, the one that removed
the old headersclean.
On Friday 10 April 2015 09:28:02 Thiago Macieira wrote:
> As discussed in previous threads.
>
> This is just a reminder because the compilation time for anyone using the
> option -developer-build is
