Merge branch 'jk/prune-mtime' of git://github.com/gitster/git into devel