WeiZhong94 commented on pull request #13273: URL: https://github.com/apache/flink/pull/13273#issuecomment-684806964
@alpinegizmo Thanks for your review again! I have updated this PR. A flatter navigation looks better than the current one from my side, but it is not very suitable that flattening the navigation in this PR. So I have created a follow-up JIRA for it: https://issues.apache.org/jira/browse/FLINK-19110 We can do this in a separate PR. ---------------------------------------------------------------- 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: us...@infra.apache.org
