[GitHub] thrift issue #1413: 0.8.x

[Jens-G]

Github user Jens-G commented on the issue:

    https://github.com/apache/thrift/pull/1413
  
    @jfarrell, could you please close this?


---