Jacek Sieka 0a8986bc77
avoid copying data when merging save points (#2584)
Saving both memory and processing, we can move entries from one
savepoint to another, specially when the target is empty as it often is
during transaction processing
2024-09-06 22:45:29 +02:00
..
2024-09-05 11:18:32 +02:00
2024-05-31 09:13:56 +02:00
2024-09-05 11:18:32 +02:00
2024-06-14 10:08:44 +02:00