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.


---

Reply via email to