Date: Wednesday, March 11, 2009 @ 23:44:21 Author: eric Revision: 29753 Removing from [extra] as we don't have any tuxonice kernel in the repo Deleted: userui/