On Thursday 04 February 2016 07:15:05 Doug Ledford wrote:> I've sent off a deletion of this file to Linus already, sorry.> Even better, thanks! Arnd