ping
PING summary 7 June 2018
This is a placeholder for the summary for the next PING meeting.