> I'll open up a ticket and upload a patch as soon as it's finished > (it already works, but I want a proper solution).
Great, thanks! > *By the way:* how about TABs? Obviously, gitk, Rietveld et al. seem > to use 8 spaces per tab. I've just committed a patch that converts tabs to spaces in all .mf files. Werner