Viewing all changes in revision 3259.

Committer: GitHub
Author(s): jujugui
Date: 2017-10-26 12:41:08 UTC
mfrom: <a title="Merged From 3258.1.2" href="/~juju-gui/juju-gui/develop/revision/3258.1.2">(3258.1.2)
Revision ID: git-v1:fa86add93a61fd134e11328b1a2a00691cbef1af

Merge pull request #3291 from jaycee/exit-should-work

Closes the terminal when websocket disconnects

added added

removed removed