Re: Review of Jose Armando Garcia Sancio's std.log

[Andrej Mitrovic]

I still don't understand how to set the filename of the log file. Has
this been added yet?