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 /docs | |
| 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 'docs')
0 files changed, 0 insertions, 0 deletions