Canceling ARIA Editors 5 August 2020

I don't have new agenda for ARIA Editors meeting today, so let's cancel 
this week's meeting. I have homework assignments still to get to, and we 
agreed to publish 1.2 and 1.3 at the end of this month, so we'll 
probably have agenda for the next scheduled meeting on 19 August. Michael