You received this bug notification because you are a member of DrGeo
developers, which is subscribed to Dr. Geo II.
Matching subscriptions: Dr. Geo bug report
Community world menu
Status in Dr. Geo II:
In the world menu, add a submenu 'Community' with the following entries:
- Dr. Geo home page
- Report a bug