Re: [Bug 4094] Export to HTML for files on Fat32-parttions does not work properly

[Bo Peng]

> OK to commit this one? (I've also filed a bug report with the python folks.)

OK. (Assume that you have tested it).

Bo