Github user jeking3 commented on the issue:
https://github.com/apache/thrift/pull/1507
I'll keep an eye on this. Right now the docker images on docker.io have to
be generated manually every time they are updated, otherwise the build jobs
take more time than they should.---
