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:
---
