diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-09-14 12:05:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-14 12:05:57 +0200 |
| commit | 6ee1b786243e27271bfd62c9d70260cad421a3c4 (patch) | |
| tree | f7ee2788dd080adf927226dc6ddf1724187ae9b9 /platform | |
| parent | 8818a93a3cc861144ab337401e00a3d1f5f549b2 (diff) | |
| parent | c15fb42d450ce303be6373f486e8bc0a230a5829 (diff) | |
Merge pull request #42042 from tdaffin/log_fatal_mono_errors
Add mono log message to error for fatal errors
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions