flinkbot edited a comment on issue #9740: [hotfix][docs] URL should not point to release-1.8 docs URL: https://github.com/apache/flink/pull/9740#issuecomment-533783254 <!-- Meta data Hash:1e179b20be456f167f49808e7c435b056461ff50 Status:PENDING URL:https://travis-ci.com/flink-ci/flink/builds/128601264 TriggerType:PUSH TriggerID:1e179b20be456f167f49808e7c435b056461ff50 --> ## CI report: * 1e179b20be456f167f49808e7c435b056461ff50 : PENDING [Build](https://travis-ci.com/flink-ci/flink/builds/128601264)
---------------------------------------------------------------- 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: [email protected] With regards, Apache Git Services
