@huonw I put it in some days ago...

Seeing as that's currently being processed it sounds like I may as well remove it before bors takes it.