Closed dstenger closed 8 years ago
The erroneous and redundant check in main:time was removed (see #19).
The erroneous and redundant check in main:time was removed (see #19).