Hi all,
The notes of ns_entry.move(saga::url target) say:
- an identical copy exists at target
- the original entry is removed
The postcondition of ns_entry.remove() says:
the original entry is closed and removed
Does this imply that ns_entry.move() also closes the original ns_entry?
The spec is a bit vague here...
-Mathijs