From 716684edae9ecf215edac64c133d43c2475938e4 Mon Sep 17 00:00:00 2001
From: Damien Elmes <git@ichi2.net>
Date: Sat, 22 Oct 2011 21:04:57 +0900
Subject: [PATCH] make sure to save on group delete

---
 anki/groups.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/anki/groups.py b/anki/groups.py
index 039b76da6..765b728ba 100644
--- a/anki/groups.py
+++ b/anki/groups.py
@@ -146,6 +146,7 @@ class GroupManager(object):
         # delete the group and add a grave
         del self.groups[str(gid)]
         self.deck._logRem([gid], REM_GROUP)
+        self.save()
 
     def allNames(self):
         "An unsorted list of all group names."