Subject: Re: bug#7647: [PATCH] {maint} Warnings about primary/prefix mismatch fixed and extended.

From: Stefano Lattarini <[email-masked]>
Date: Thu, 16 Jun 2011 18:20:49 +0200

The patch has been finally as commit v1.11-373-g9ca6326, with
a non-trivial optimization (for speed reasons) to a test case
applied with follow-up commit `v1.11-374-ged078da'.

I'm thus marking this bug as closed.

Regards,
  Stefano