Er zijn diverse PR’s beschikbaar (twee van mij en een derde in ontwikkeling), maar geen enkele activiteit van de mensen met merge privilege in het jaar 2017.
Wellicht kan het beheer worden overgedragen of mensen toegevoegd worden die meer tijd hiervoor hebben?