diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-19 10:38:27 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-19 10:38:27 +0000 |
commit | d07f043ef1c99491cb172f3c3474b31c97501d7a (patch) | |
tree | 41099b8ebd3f8ca0aea64ac8623e8ac1140ca572 /crates/ra_hir_ty/src/expr.rs | |
parent | 20252efb32bfdfe7392934a95a6c6d6b583d10e7 (diff) | |
parent | d06733efebc5d8b378398f1cbb4bbd9f3deb8270 (diff) |
Merge #3229
3229: Fix a crash with non-ascii whitespace in doc-comments r=matklad a=sinkuu
2nd commit is a random drive-by cleanup.
Co-authored-by: Shotaro Yamada <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/expr.rs')
0 files changed, 0 insertions, 0 deletions