diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-31 13:16:44 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-31 13:16:44 +0100 |
| commit | d7cbb49057c4495307d91f5db32465c29c175124 (patch) | |
| tree | 8649259da32910831c45aee3ba9b68abce8f5b37 /docs/dev | |
| parent | 3cb3f1d17b54a7e144db495e073551049c9c482c (diff) | |
| parent | 971b0836ef425d8b962ecac70a974887a8356567 (diff) | |
Merge #9077
9077: internal: Use `Name`s instead of Strings in the completion rendering api r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions