@rianjs
12 years, 9 months ago
Incidentally, I know I can write a plugin to automate this with the after_switch_theme hook, but I’d rather fix the underlying bug.
