Mike wrote me separately to say the problem eventually fixed itself for
no evident reason :(. Maybe related to our general timing issue? 
Anyway, closing. --thanks, karl.



Reply via email to