Another minor termination period improvement.
authorTim Vaughan <tgvaughan@gmail.com>
Sat, 25 May 2019 11:45:05 +0000 (13:45 +0200)
committerTim Vaughan <tgvaughan@gmail.com>
Sat, 25 May 2019 11:45:05 +0000 (13:45 +0200)

No differences found