So, no more coments.
It's ok to go ahead and update + push to review the ones not already there ?
[]'s
On Wed, Apr 8, 2015 at 2:20 PM, Konstantin Ritt ritt...@gmail.com wrote:
Added some comments to your spreadsheet
Regards,
Konstantin
2015-04-08 19:42 GMT+04:00 Helio Chissini de Castro
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
