diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-26 11:06:34 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-26 11:06:34 +0100 |
| commit | ce06f8d0416d5851264769eb9583ce43d66f0474 (patch) | |
| tree | cb59686b7c78406e7e3b704ac3ca132ecb697574 /docs/dev | |
| parent | 38cd1b70e8d4b8f57ac2ae0702cf4728764094d9 (diff) | |
| parent | 12831b74af457ddfc06ebeb929e350574e2f35d5 (diff) | |
| parent | c4413064277090764653d20db9b94ea16dfcb494 (diff) | |
Merge #5072 #5073
5072: Cleanup r=matklad a=matklad
bors r+
🤖
5073: `iterate_method_candidates`: Address review comments r=jonas-schievink a=jonas-schievink
bors r+
Co-authored-by: Aleksey Kladov <[email protected]>
Co-authored-by: Jonas Schievink <[email protected]>