diff options
author | Pieter-Jan Briers <pieterjan.briers@gmail.com> | 2018-05-11 13:50:56 +0200 |
---|---|---|
committer | Pieter-Jan Briers <pieterjan.briers@gmail.com> | 2018-05-11 13:50:56 +0200 |
commit | 27d70924a00ef2e199426d3facd8fa5dd7151bb5 (patch) | |
tree | 18684abd4e83b2fcd33750604c8bc282e0bbea55 /core/path_remap.cpp | |
parent | 74796d9b6cf1663029a5fa6b5024b236746e506a (diff) |
Fixes ObjectDB leak printout with mono.
Fixes #18767
Diffstat (limited to 'core/path_remap.cpp')
0 files changed, 0 insertions, 0 deletions