After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 696074 - Rename gnome-robots.desktop back to gnobots2.desktop
Rename gnome-robots.desktop back to gnobots2.desktop
Status: RESOLVED FIXED
Product: gnome-robots
Classification: Applications
Component: general
git master
Other Linux
: Normal normal
: ---
Assigned To: gnome-robots-maint
gnome-robots-maint
Depends on:
Blocks:
 
 
Reported: 2013-03-18 15:55 UTC by Jeremy Bicha
Modified: 2013-03-18 18:40 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Rename gnome-robots.desktop back to gnobots2.desktop (1.91 KB, patch)
2013-03-18 15:56 UTC, Jeremy Bicha 		committed Details | Review

Description Jeremy Bicha 2013-03-18 15:55:45 UTC 
Freeze break was approved at
https://mail.gnome.org/archives/release-team/2013-March/msg00099.html
Comment 1 Jeremy Bicha 2013-03-18 15:56:40 UTC 
Created attachment 239153 [details] [review]
Rename gnome-robots.desktop back to gnobots2.desktop

We don't have a good way of handling migrating user settings for a
change like this, so let's revert for now.
Comment 2 Jeremy Bicha 2013-03-18 18:40:00 UTC 
approved on list:
https://mail.gnome.org/archives/games-list/2013-March/msg00006.html

Attachment 239153 [details] pushed as 74de9a0 - Rename gnome-robots.desktop back to gnobots2.desktop