> This is OK to merge into the 3.5 branch even though it adds a public symbol, > it is not something that is exposed by public headers, so it is OK. Thanks Tom. I've merged it to 3.5 branch as r223406. Tim.