diff options
author | Ignacio Roldán Etcheverry <neikeq@users.noreply.github.com> | 2019-04-18 13:14:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-18 13:14:02 +0200 |
commit | d1f98ff51b2e62ddea27fb9b1b9b5fb1ec80dbe0 (patch) | |
tree | 82eddd249dc41deb178ecda994aa6636254d8fe9 /thirdparty | |
parent | 8f6e548ab03a0eca157b2f9f3a549c8dd4ebdc14 (diff) | |
parent | 20e5e2fec715a318e432c9d306221f6e1fcdf02d (diff) |
Merge pull request #28139 from neikeq/mono-log-level-info
Mono: Logging improvements
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions