search

rust-dev-tools / dev-tools-team

resources for the Rust dev-tools team
42 stars 9 forks source link

Add minutes for Oct 16, 2017 #31

Closed michaelwoerister closed 6 years ago

michaelwoerister commented 6 years ago

Better late than never :)

killercup commented 6 years ago

Thanks!