But isn't that the change I already rejected back in July?
You are right, that was a mistake from our side to submit it again. We had rediscovered the sequence using our scanning script and I forgot that the sequence was harmless in this case. We will update our scripts and revert the patch.
The person here with write access, danielh, is currently traveling, so we wont be able to revert it until next week. If it is urgent, could I ask you to revert it for us?
Thanks for checking the patches in detail and for improving the formating. /Daniel C