New issue tracker at Github
Dec 20, 2011
To promote open development, the new issue tracker replaces both the public
tracker at Sourceforge and the tracker formerly internal to Genode Labs.
As promised earlier, Genode has got a new issue tracker at Github:
Please use this tracker to report and discuss Genode-related issues from now
on. The old public tracker at Sourceforge is still there but all issues have
been either closed or migrated to Github.