fix crash when closing terminal window
authorKevin Lamonte <kevin.lamonte@gmail.com>
Thu, 7 Nov 2019 02:46:16 +0000 (20:46 -0600)
committerKevin Lamonte <kevin.lamonte@gmail.com>
Thu, 7 Nov 2019 02:46:16 +0000 (20:46 -0600)

No differences found