> This looks like another duplicate of 15841, but that would imply > that your previous update was before revno 115033, which was > committed quite some time ago. Can you tell if that was indeed so? That's correct, I updated from before revno 115033 to after it.