[GitHub] thrift issue #1527: Merge pull request #1 from apache/master
Github user Jens-G commented on the issue: https://github.com/apache/thrift/pull/1527 @jfarrell: could you close that? ---
[GitHub] thrift issue #1527: Merge pull request #1 from apache/master
Github user Jens-G commented on the issue: https://github.com/apache/thrift/pull/1527 @zengqinglong: could you please stop opening meaningless PRs? Thank you. ---
[GitHub] thrift issue #1527: Merge pull request #1 from apache/master
Github user lovepoem commented on the issue: https://github.com/apache/thrift/pull/1527 No file changed ---