diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-07 11:33:13 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-07 11:33:13 +0100 |
| commit | 5f7fc5ae68ff5debead06e377153e100b6e9951d (patch) | |
| tree | ec8753cb24b43ca7360f94f53fa2362395ea4d37 /docs/user | |
| parent | 1d8bd4fdf63e9280b07628b8ad85cd5247a0c870 (diff) | |
| parent | 88bc4f17fd65fe1ffb7e75e048ead329807aa029 (diff) | |
Merge #9161
9161: Fix incorrect config usage in hover references r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions