[GitHub] thrift issue #1527: Merge pull request #1 from apache/master

[Jens-G]

Github user Jens-G commented on the issue:

    https://github.com/apache/thrift/pull/1527
  
    @jfarrell: could you close that?


---