tree ac7420965b6f3f70f16b5f8543ecbddd0dec7a0a
parent db02cdc7fc8b0e0b9aa1be4110a74620bbac1f98
author Laurențiu Nicola <lnicola@dend.ro> 1753682514 +0300
committer Laurențiu Nicola <lnicola@dend.ro> 1753682514 +0300

Adjust triagebot config for rustc-josh-sync