On Sat, 01 Aug 2015 08:29:40 +0200 Hermann Meyer <brummer- at web.de> wrote: Hallo, > Release 0.33.0 is out Should I do a 'make uninstall' or some waf equivalent of version 0.32 before doing the install of 0.33 ? Tschüss