flinkbot edited a comment on issue #9440: [FLINK-13724][docs] remove unnecessary whitespace from the generated pages URL: https://github.com/apache/flink/pull/9440#issuecomment-521435596 <!-- Meta data Hash:9fd30468bb3d2031219dd10956401c410ec81cf0 Status:CANCELED URL:https://travis-ci.com/flink-ci/flink/builds/123297374 TriggerType:PUSH TriggerID:9fd30468bb3d2031219dd10956401c410ec81cf0 Hash:fa2d2f9f9bed875ed184cd641bbfaf141ebad364 Status:FAILURE URL:https://travis-ci.com/flink-ci/flink/builds/123298777 TriggerType:PUSH TriggerID:fa2d2f9f9bed875ed184cd641bbfaf141ebad364 --> ## CI report: * 9fd30468bb3d2031219dd10956401c410ec81cf0 : CANCELED [Build](https://travis-ci.com/flink-ci/flink/builds/123297374) * fa2d2f9f9bed875ed184cd641bbfaf141ebad364 : FAILURE [Build](https://travis-ci.com/flink-ci/flink/builds/123298777)
---------------------------------------------------------------- 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 With regards, Apache Git Services