submitted for publishing on July 18, or next available slot if too late for July 18
Merge pull request #1485 from WalterHub/myaux37

submitted for publishing on July 18, or next available slot if too late ...