Flush log on interrupt, just for convenience.
authorEric S. Raymond <esr@thyrsus.com>
Fri, 26 May 2017 11:22:24 +0000 (07:22 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 26 May 2017 11:22:24 +0000 (07:22 -0400)

No differences found