diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-01 09:19:15 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-01 09:19:15 +0100 |
commit | 947f22a90b808db1d419a7cc4844c6ae11a29efb (patch) | |
tree | 9b6f9cd09baf90028d4f3ebf317b44ab93da0927 /platform/osx/os_osx.mm | |
parent | fb8cfc442d5bfb8f14e98006a734cdf551a0f2b1 (diff) | |
parent | 89283b7b53d2e2b118cf5afe6d90f0813d37a204 (diff) |
Merge pull request #46532 from kuruk-mm/improve_flush
Logger: Cache 'flush_stdout_on_print' to improve performance, and wor…
Diffstat (limited to 'platform/osx/os_osx.mm')
0 files changed, 0 insertions, 0 deletions