On 18 November 2015 at 10:41, Lex Trotman elextr@gmail.com wrote:
Who is gonna make the PR (for milestone 1.27, after a whole 1.26 release deprecated) ready to remove Waf, not forgetting the documentation, README, INSTALL etc and the website (hint Enrico ;)
Cheers Lex
PS and the nightlies if they still use waf