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