That makes sense, I just saw when the Due was released. I still think that it would be nice if smaller pull requests (like my void cast) are merged because everyone who is still using the Due can profit from it without breaking anything. But if it is not released, I think no one will profit anyway. I just found this compiler warning while using Sloeber (Eclipse) with my Due and it was a really simple fix.
Kind Regards
Robin