Do not revert again. There is a clear difference between move and copy/delete. This is mainly in the callbacks used, but also the copy/delet…
Show more
Do not revert again. There is a clear difference between move and copy/delete. This is mainly in the callbacks used, but also the copy/delete machinism seems to work in certain situations where plain move just fails. It is a switch, so by default the usual move is enabled.
Show less
