Merge repo 'thrift-for-vertx' into branch