Vote: yes Tim On 05/30/17 05:19, Magnus Ihse Bursie wrote: [...] > I propose that the build-infra project should be dissolved. It has > outlived it's usefulness, and it only causes confusion since people are > unaware of the project and incorrectly send build-dev questions to this > list.