Update CoC Committee contact list with new members#533

valencik merged 1 commit intotypelevel:maintypelevel/typelevel.github.com:mainfrom

satabin:update-coc-committee-contactsatabin/typelevel.github.com:update-coc-committee-contactCopy head branch name to clipboard