Is there any reason why it can't be removed from devel? Especially if the update doesn't contain anything worth updating for.