tarsius/zenburn-theme — comment on commit 7c0d2e3f7d7df887dd5086a4e5d7ee323172a6f5
File:  line 0
By bbatsov:

Sorry about that, I didn't read the diff carefully enough. It's already merged.