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 696071 - Rename gnome-mines.desktop back to gnomine.desktop
Rename gnome-mines.desktop back to gnomine.desktop
Status: RESOLVED FIXED
Product: gnome-mines
Classification: Applications
Component: general
git master
Other Linux
: Normal normal
: ---
Assigned To: gnome-mines-maint
gnome-mines-maint
Depends on:
Blocks:
 
 
Reported: 2013-03-18 15:48 UTC by Jeremy Bicha
Modified: 2013-03-18 18:39 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Rename gnome-mines.desktop back to gnomine.desktop (1.73 KB, patch)
2013-03-18 15:48 UTC, Jeremy Bicha 		none Details | Review
Rename gnome-mines.desktop back to gnomine.desktop (2.04 KB, patch)
2013-03-18 16:01 UTC, Jeremy Bicha 		committed Details | Review

Description Jeremy Bicha 2013-03-18 15:48:08 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:48:26 UTC 
Created attachment 239150 [details] [review]
Rename gnome-mines.desktop back to gnomine.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 16:01:51 UTC 
Created attachment 239159 [details] [review]
Rename gnome-mines.desktop back to gnomine.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 3 Jeremy Bicha 2013-03-18 18:39:08 UTC 
approved on list:
https://mail.gnome.org/archives/games-list/2013-March/msg00006.html

Attachment 239159 [details] pushed as 1b01535 - Rename gnome-mines.desktop back to gnomine.desktop