Github user johnboiles commented on the issue:

    https://github.com/apache/thrift/pull/1461
  
    Travis was green so i've squashed it!
    
    FYI for the future: GitHub can now automatically squash commits in PRs at 
merge time. If that feature is enabled for the repo it shouldn't be necessary 
for committers to squash their branch prior to merging, since everything can be 
squashed via the GitHub UI:
    
    
![image](https://user-images.githubusercontent.com/218876/34794999-65a5c52c-f605-11e7-9d53-24fa310bb034.png)



---

Reply via email to