[PATCH] discovery: properly exclude locally known but filtered heads

[Matt Mackall]

On Fri, 2015-01-30 at 21:51 +0000, Pierre-Yves David wrote:
> # HG changeset patch
> # User Pierre-Yves David <pierre-yves.david at fb.com>
> # Date 1422652262 0
> #      Fri Jan 30 21:11:02 2015 +0000
> # Branch stable
> # Node ID 12216e8a6001039925fd4ab61bb7aed92bc728f8
> # Parent  6becb9dbca25057c6186e255a48dd2c2ce5701a5
> discovery: properly exclude locally known but filtered heads

Queued for stable, thanks.

-- 
Mathematics is the supreme nostalgia of our time.