On Monday, 21 October 2013 at 08:50:50 UTC, Robert Schadek wrote: >> disk. That feature proved very useful. > That was a feature you added or was it part of the logging > library? We added it. I don't know of any logging library doing that.