Whoops, attached the wrong log file initially. It was the 500 MB [sic] one actually. Fortunately it bzip2's nicely into 6 MB.
Whoops, attached the wrong log file initially. It was the 500 MB [sic] one actually. Fortunately it bzip2's nicely into 6 MB.