Hi Luc, On 28 December 2017 at 21:19, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Thu, Dec 28, 2017 at 09:02:27PM +0000, Dibyendu Majumdar wrote: >> 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. > Well last time I thought the view was that a fix was not needed? What's changed? Regards Dibyendu -- 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
