-
Jérome Perrin authored
This reverts commit 3160c589. pushed by mistake. This is unfinished but it was wrong because we copy this log file to snapshot directory before we are done writing to it.
df0f1bd1
This reverts commit 3160c589. pushed by mistake. This is unfinished but it was wrong because we copy this log file to snapshot directory before we are done writing to it.