diff options
author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2020-07-06 19:05:43 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-06 21:05:43 +0200 |
commit | 8c0a315734840f99455026ef443a21ae73d7bc3b (patch) | |
tree | 2c53d3c0ab4a565aa21fe1e6c52be0baa1e9274c /src/server/database/Database/Transaction.cpp | |
parent | e20e51a3855595817df89ac69494b9fd41e1acb3 (diff) |
Core/Pools: Attempt to workaround pools being broken since 2015 (#24949)
* Core/Pools: Attempt to workaround pools being broken since 2015
Attempt n°2
* Fix warning
Diffstat (limited to 'src/server/database/Database/Transaction.cpp')
0 files changed, 0 insertions, 0 deletions