gremlin/gremlin.in: Don't report zero seconds left until we're done.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 17 Apr 2018 01:11:17 +0000 (02:11 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 19 Apr 2018 11:22:49 +0000 (12:22 +0100)
commit00beb9e518942f3a4415498281a8d66639735274
tree8a21e7fa844e6da87a3a2845fc97ba4146f6dd92
parentcf3c562e24f5b8bae6e55a62d66a10de2641f520
gremlin/gremlin.in: Don't report zero seconds left until we're done.
gremlin/gremlin.in