subject:"\[jira\] \[Commented\] \(FLINK\-9319\) Move some flink\-docs dependencies into profiles"

[jira] [Commented] (FLINK-9319) Move some flink-docs dependencies into profiles

2018-05-10 Thread ASF GitHub Bot (JIRA)

[ https://issues.apache.org/jira/browse/FLINK-9319?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16470296#comment-16470296 ] ASF GitHub Bot commented on FLINK-9319: --- Github user zentol closed the pull request

[jira] [Commented] (FLINK-9319) Move some flink-docs dependencies into profiles

2018-05-09 Thread ASF GitHub Bot (JIRA)

[ https://issues.apache.org/jira/browse/FLINK-9319?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16468754#comment-16468754 ] ASF GitHub Bot commented on FLINK-9319: --- GitHub user zentol opened a pull request: