[GitHub] zeppelin pull request #3121: [ZEPPELIN-3694] Dynamically change scheduler th...

[egorklimov]

Github user egorklimov closed the pull request at:

    https://github.com/apache/zeppelin/pull/3121


---