Use mtime rounded to 2 decimal places to avoid spurious/needless file refetching due to os.utime() weirdness on (at least) WIN32
Merge branch 'dev'
Version 0.6.13