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
- bug#7647: [PATCH] {maint} Warnings about primary/prefix ... Stefano Lattarini
- bug#7647: [PATCH] {maint} Warnings about primary/pr... Stefano Lattarini
- bug#7647: [PATCH] {maint} Warnings about primar... Stefano Lattarini
