-
Médéric Boquien authored
As we modify the sed object, make a deep copy so we do not accidentally alter the very in the cache. These should probably be made read-only, if it is not too costly in terms of performance.
3fb4497a
As we modify the sed object, make a deep copy so we do not accidentally alter the very in the cache. These should probably be made read-only, if it is not too costly in terms of performance.