Thank you! That's a great plugin and saves me the time of checking for updates or use an SVN client. I chose not to activate the plugin because it requires me to run WordPress Stats on my page, and I'm happy with Piwik. However, even deactivated I can just copy the Minileven theme to my themes folder and it works just fine, and I'll still receive notifications of changes to deactivated plugins, IIRC.
↧