[PATCH] fix an unnecessary lookup caused by integer vs. non-integer mtimes

[Matt Mackall]

On Thu, 2008-10-16 at 17:36 +0200, Dov Feldstern wrote:
> # HG changeset patch
> # User Dov Feldstern <dfeldstern at fastimap.com>
> # Date 1224171156 -7200
> # Node ID 69fb9e403585f073c0f6fdca47993a4f8f86d94f
> # Parent  9514cbb6e4f6f54ac8437e7a4eb160a39986a7eb
> fix an unnecessary lookup caused by integer vs. non-integer mtimes

I think the right answer here is simply to cast st_mtime to int in the
places where we add it to the map. I've queued a fix.

-- 
Mathematics is the supreme nostalgia of our time.