On Thu, Dec 28, 2017 at 09:02:27PM +0000, Dibyendu Majumdar wrote: > Hi Luc, > > Previous thread on this issue: > > https://www.spinics.net/lists/linux-sparse/msg05427.html Ah yes, sorry, I forgot you already specifically reported this one. It should be fixed now. -- Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
