commit | 1acee750012655fe19e57ce0b4bfe24f01840069 | [log] [tgz] |
---|---|---|
author | Johannes Doerfert <johannes@jdoerfert.de> | Tue Nov 28 10:17:51 2023 -0800 |
committer | Copybara-Service <copybara-worker@google.com> | Tue Nov 28 10:19:07 2023 -0800 |
tree | 1843f23153368b8778ea0e651af44455b720a52f | |
parent | b4a81a17b039db546a472d7bf1eb4fe5b6b9d34e [diff] |
[OpenMP][NFC] Merge MemoryManager into PluginInterface (#73678) Similar to #73677, there is no benefit from keeping MemoryManager seperate; it's tied into the current design. Except the move I also replaced the getenv call with our Env handling. GitOrigin-RevId: 0783bf1cb3e47fc48813ee63f42d72b70d8cb792