Skip to content

Enable to ping RISC-V group via triagebot#74872

Merged
bors merged 1 commit intorust-lang:masterfrom JohnTitor:ping-risc-vJul 29, 2020
+11

Commits

Commits on Jul 28, 2020