On 18 November 2015 at 10:41, Lex Trotman <elextr at 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