Skip to content

Synchronize wg-learning with GitHub teams#112

Merged
pietroalbini merged 1 commit intorust-lang:masterfrom spastorino:add-learning-members-to-teamSep 11, 2019
+16-1

Commits

Commits on Sep 9, 2019