[GitHub] [flink] flinkbot commented on pull request #12800: [hotfix] [docs] Fix typo ide setup

flinkbot commented on pull request #12800: URL: https://github.com/apache/flink/pull/12800#issuecomment-652511082 ## CI report: * 11d3d17ac89d963ab640ec35aeb17f4a5c089f25 UNKNOWN Bot commands The @flinkbot bot supports the following commands: - `@flinkbot

[GitHub] [flink] flinkbot commented on pull request #12800: [hotfix] [docs] Fix typo ide setup

flinkbot commented on pull request #12800: URL: https://github.com/apache/flink/pull/12800#issuecomment-652505730 Thanks a lot for your contribution to the Apache Flink project. I'm the @flinkbot. I help the community to review your pull request. We will use this comment to track the