aboutsummaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-06-26 11:06:34 +0100
committerGitHub <[email protected]>2020-06-26 11:06:34 +0100
commitce06f8d0416d5851264769eb9583ce43d66f0474 (patch)
treecb59686b7c78406e7e3b704ac3ca132ecb697574 /docs/dev
parent38cd1b70e8d4b8f57ac2ae0702cf4728764094d9 (diff)
parent12831b74af457ddfc06ebeb929e350574e2f35d5 (diff)
parentc4413064277090764653d20db9b94ea16dfcb494 (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]>