Github user msridhar commented on the issue:
https://github.com/apache/thrift/pull/1522
I just pushed up another commit with the renaming. I assume you can do a
squash and merge, but if you'd like me to squash just let me know.---
Github user msridhar commented on the issue:
https://github.com/apache/thrift/pull/1522
I just pushed up another commit with the renaming. I assume you can do a
squash and merge, but if you'd like me to squash just let me know.---