Jens-G commented on pull request #2357: URL: https://github.com/apache/thrift/pull/2357#issuecomment-808175134
> Should I create another PR for that? I see, no leave it as it is. I'll look at it as soon as I have the time. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
