Suggested changes on top of Sam's suggested changes

w3cping / administrivia

repository to track meta-work. PING webpages are maintained at https://github.com/w3c/ping

3 stars 4 forks source link

Suggested changes on top of Sam's suggested changes #17

Closed pes10k closed 5 years ago

pes10k commented 5 years ago

There are on top of https://github.com/w3cping/administrivia/pull/16

samuelweiler commented 5 years ago

expands mission statement. no objections

samuelweiler commented 5 years ago

My github foo is failing today. I couldn't get this to merge, so I recreated it and accidentally committed to directly (rather than in a PR). Closing this PR.