When supertux is installed, no icon is to be found under the gnome menu. Reproducible: Always Steps to Reproduce: 1. 2. 3.
*** This bug has been marked as a duplicate of 25756 ***
Closing to clean up after bugzilla upgrade. reopen if closed in error. Thanks.
clean up bug list after bugzilla update