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.