diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-24 00:42:59 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-24 00:42:59 +0000 |
commit | a7a1bb444d59732e3973b7b2d5b27413c5a1ca81 (patch) | |
tree | ab1e96340ba6717daec0bd0d3051230463c2916f /editors | |
parent | 89fef5307e81d5d23bb65677000f35332190661a (diff) | |
parent | a872ebf81f20815501299ae562c39bb9c872ba47 (diff) |
Merge #7413
7413: Handle unions in symbol search r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions