diff options
author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-09-02 11:50:41 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-02 11:50:41 -0500 |
commit | dd912a03113bbc5ad93260babba061362b660acd (patch) | |
tree | a674b912b0bbd178b46b51f09abe5cf7d1c13c6a /contrib | |
parent | 95bba975fd13261ca8854d9fb30d03fc7447eb80 (diff) |
Introduce an internal version of Commands. (#4988)
This PR is a step towards the migration of Commands to the public API. Node versions of some Commands are introduced for internal use (as necessary). The DumpManager is refactored to make use of those commands.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions