On 4 November 2016 at 18:55, Marko Käning wrote: > > Besides there is even a clearly visible RED "Work-In-Progress" label available in the PR interface, which Mojca had spotted eventually. I didn't spot it. I though it was useful and made it after this discussion was started. Mojca