##// END OF EJS Templates
Merge pull request #5965 from minrk/qt-shutdown...
Merge pull request #5965 from minrk/qt-shutdown don’t trigger call tips with no shell channel
Thomas Kluyver -
r16976:06b3624f merge
Show More