Hi Jan, Yes, that was an oops, but below is a bigger one. Shame on "us". Can you please commit both patches on the newtop branch? Thanks Jim
Committed.