GitHub user hj5 opened a pull request:
https://github.com/apache/incubator-zeppelin/pull/249
merge:from apache-master(for zeppelin 0.6)
merge:from apache-master(for zeppelin 0.6)
You can merge this pull request into a Git repository by running:
$ git pull https://github.com
Github user hj5 closed the pull request at:
https://github.com/apache/incubator-zeppelin/pull/249
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the
GitHub user hj5 reopened a pull request:
https://github.com/apache/incubator-zeppelin/pull/249
merge:from apache-master(for zeppelin 0.6)
merge:from apache-master(for zeppelin 0.6)
You can merge this pull request into a Git repository by running:
$ git pull https://github.com
Github user hj5 closed the pull request at:
https://github.com/apache/incubator-zeppelin/pull/249
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the
GitHub user hj5 opened a pull request:
https://github.com/apache/incubator-zeppelin/pull/893
merge:from apache-master(for zeppelin 0.5.6)
### What is this PR for?
A few sentences describing the overall goals of the pull request's commits.
First time? Check ou
Github user hj5 commented on the pull request:
https://github.com/apache/incubator-zeppelin/pull/893#issuecomment-219916185
zeppelinå级æ¹é
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not
