diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-13 18:01:15 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-13 18:01:15 +0000 |
| commit | ea0ee8e5bf99bb491875a3539ffdcb39eb0b5397 (patch) | |
| tree | 8caa433c9c2f84e182cdc29abba3c034b4353db6 /docs/user | |
| parent | 7ea7de338f1c8ad1e89600e04570f03c2688c0c0 (diff) | |
| parent | 5654387e775d267a1d51976a022ce25df9d70a9e (diff) | |
Merge #2818
2818: Don't panic if chalk panics r=matklad a=matklad
r? @flodiebold
Trying to paper-over panicking chalk. Not sure if this'll make situation better or worse, but I hope it'll be better, as we won't be tearing down type-inference as a whole
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions