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 -


---

Reply via email to