diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-05 00:31:53 +0100 |
|---|---|---|
| committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-05 00:31:53 +0100 |
| commit | 21f70a7293e7b24dedeec9a504763a1a3ef57675 (patch) | |
| tree | d2138fbc33ae6a94778e6addbd1b7ed21f807387 /docs/dev/README.md | |
| parent | 0ab5b1121a1d0849bd27471252756693a26ccdbf (diff) | |
| parent | 9438bbc75a6c8e2b0d9b13a9455807300c8a6c6a (diff) | |
Merge #1488
1488: Symplify by using into() r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'docs/dev/README.md')
0 files changed, 0 insertions, 0 deletions