Hi Max: > For some reason Joe's changeset has not reached the final repo. Thanks for pointing it out. I kick-started the gate push. This should be sorted out, although it may take a few minutes for the email notifications to catch up. Tim