weekly meeting

Participants were Paul Hobson and myself. We discussed and merged one
PR, at which point github went down, so we ended the meeting. (The
github outage turned out to be brief.)

Eric