dae/libanki — pull request #9 by tarix (2012-01-29 10:20:52+00:00)
Title: Windows: fix FileIO exception when deleting the most recently used profile

Here's the patch as promised. We could get the path more easily from ProfileManager but I didn't want to add any new dependencies when the path was easy to construct from the information that MediaManager already has.