Github user srdo commented on the issue:
https://github.com/apache/storm/pull/2940
@MichealShin You don't need to open a new PR. If you push your changes to
the branch this PR is pointing at, the PR will get updated automatically.
That said, I think Github gets weird about reopening PRs once they're
closed and the source branch has changed, so let's use the new PR. But just for
future reference :)---
