#social 2019-10-09

2019-10-09 UTC

bengo cwebber2: We've handled github issues in other groups. We usually ask people to raise issues ahead of time, and if they don't, we just go through the tortuous process of going one by one