Commit 56af285c80ce12b77c1228603617c4fdf79ca5b7

Vicent Martí 2013-01-17T13:34:20

Merge pull request #1254 from ethomson/index_filtered_size cache should contain on-disk (filtered) file size