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 -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html