On Wed, May 13, 2015 at 11:16:36AM +0200, Guido de Jong wrote: > > Would it help if we start using some of the Github features like the issue > tracker or the wiki? Yes, issue tracking or wiki would be useful. -- Regards Roar Thronæs