On Tue, 2016-08-23 at 12:09 +0200, Arnd Bergmann wrote: > I had skipped the new message as well while sorting through 5000 > messages after my vacation, but I've now put it into my TODO folder > and will get to it eventually. Is it still on your TODO or should I do... > We sometimes miss stuff that is meant for arm-soc when it comes > from people that don't normally send us patches. If you want to > be sure to catch the attention, stick a 'GIT PULL' into the subject > or send a ping on IRC. ... one of these? It'd be great to get this fixed in v4.8 so that the corresponding device-tree.git tag will build. Thanks, Ian. -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html