[GitHub] zeppelin pull request #3195: ZEPPELIN-3800. Allow to configure scheduler thr...

[zjffdu]

Github user zjffdu closed the pull request at:

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


---