Github user zentol commented on the issue:
https://github.com/apache/flink/pull/4809
@razvan100 I've merged the PR, could you close it?
---
Github user zentol commented on the issue:
https://github.com/apache/flink/pull/4809
will merge this while addressing the comments
---
Github user razvan100 commented on the issue:
https://github.com/apache/flink/pull/4809
Okay, so if you account for it in the review then I don't need to make
another empty commit. Thanks!
---
Github user zentol commented on the issue:
https://github.com/apache/flink/pull/4809
@razvan100 You can re-trigger the build by adding a new commit (even en
empty one). However, please don't do this for the sake of achieving a picture
perfect build (in particular for documentation
Github user razvan100 commented on the issue:
https://github.com/apache/flink/pull/4809
@aljoscha Hi, do you know if it's possible to retrigger the build? Don't
believe it fails because of my change. Also, how can I add reviewers? Thanks!
---