On Mon, Mar 13, 2017 at 07:42:17PM +0000, Dan Shumow wrote: > Marc just made a commit this morning fixing problems with the merge. > Please give the latest in feature/performance a try, as that seems to > eliminate the problem. Yeah, b17728507 makes the problem go away for me. Thanks. FWIW, I have all sha1s on github.com running through this right now (actually, the ad744c8b7 version), and logging any false-positives on the collision detection. Nothing so far, after a few hours. -Peff