Github user jeking3 commented on the issue:
https://github.com/apache/thrift/pull/1496
Yes, however, it needs to be squashed to a single commit. I would prefer
if you did that, but I can do it if you really need me to. It's just a lot
more work for the committers to do that, and we have a lot of work we're doing
already. Looks like a good change though - thanks for that! Clearly you care
about your doubles a lot.
https://softwareengineering.stackexchange.com/questions/263164/why-squash-git-commits-for-pull-requests
---
