Hi, On Fri, Apr 26, 2013 at 10:11 AM, "Andreas Lehmkühler" <andr...@lehmi.de> wrote: > Just a minor issue. The github mirror still carries an "(incubating)" in its > name. How can that be changed?
I'm one of the administrators of that space, so I just fixed the title directly. BR, Jukka Zitting
