diff options
author | Linus Nordberg <linus@nordu.net> | 2017-02-10 23:10:08 +0100 |
---|---|---|
committer | Linus Nordberg <linus@nordu.net> | 2017-02-10 23:10:43 +0100 |
commit | 98477712c0d9ed067f10a1e86c1276494f295fcf (patch) | |
tree | 7f8ccd9de7b658cbce66b528f591c5069810877a /src/plop.hrl | |
parent | dd7386a664cff92e52d3d991ecae118e7c094ff6 (diff) |
Always load the tree before getting the root.
The case where this is necessary is when we have zero merge
secondaries and thus no merge_backup processes loading the tree for
us.
Diffstat (limited to 'src/plop.hrl')
0 files changed, 0 insertions, 0 deletions