Comment 2 for bug 1608728

Revision history for this message
Jose Gómez (adler-dreamcoder) wrote :

Or maybe after printing (which I did shortly after startup).