]>
2022-07-19 | bors | Auto merge of #2350 - RalfJung:remove-deprecated, r... | blob | commitdiff | raw |
2022-07-13 | bors | Auto merge of #2315 - saethlin:shrink-item, r=saethlin | blob | commitdiff | raw |
2022-07-12 | bors | Auto merge of #2359 - RalfJung:triagebot, r=RalfJung | blob | commitdiff | raw |
2022-07-12 | Ralf Jung | allow some relabeling as well | blob | commitdiff | raw |
2022-07-12 | Ralf Jung | set up triagebot | blob | commitdiff | raw | diff to current |