Github user HeartSaVioR commented on the issue:
https://github.com/apache/storm/pull/2712
@MaurGi OK never mind. I'll handle it during merging. Thanks for the
contribution!
---
Github user MaurGi commented on the issue:
https://github.com/apache/storm/pull/2712
@HeartSaVioR how do I squash an existing PR in GitHub? I don't see any
option on the UI, do I make a new branch? thanks -
---
Github user MaurGi commented on the issue:
https://github.com/apache/storm/pull/2712
thanks for the feedback, modified and resubmitted -
---
Github user arunmahadevan commented on the issue:
https://github.com/apache/storm/pull/2712
Looks good.
---