[HOT] HOT export tool bugs

John Gordon jgordon at gri.ca
Tue Sep 20 12:47:40 UTC 2016

This problem has been going on for more than three weeks-- I reported it 
on this site but was told the correct place to report it was 

More information about the HOT mailing list