-
Benno Schulenberg authored
At the very beginning of do_replace(), nothing has been changed or initialized yet, so there is nothing to refresh or clean up.
454f5cbd
At the very beginning of do_replace(), nothing has been changed or initialized yet, so there is nothing to refresh or clean up.