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)
commit35254abfb89ed1275f28555e5d1f80b3db168aa7
tree47ed70ea07a3581080aef3b9aba304098d90328d
parent527c5051a981e0d4b9bdb16b38452e1afad6fe42
Another minor termination period improvement.
elpher.el