diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-05 13:33:32 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-05 13:33:32 +0000 |
| commit | 4fb4b59f89dd14b64ed608dbc891fe3ee7b5b69d (patch) | |
| tree | 3f993ce8e09c703b417c68eaf3b7f26863982535 /editors | |
| parent | e7241274ef052fc3081b6dbc2e80266d6703c80c (diff) | |
| parent | 73b892aaa3f889e987b6115d76a6e41df6c478e1 (diff) | |
Merge #934
934: show message in client's UI if workspace fails to load r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions