gregor herrmann wrote (01 Nov 2013 16:19:52 GMT) : > Already in NEW (and in our repos); ITP is #726026. Thanks, and sorry for the noise.