Github user zentol commented on a diff in the pull request:
https://github.com/apache/flink/pull/5840#discussion_r190155472
--- Diff: flink-libraries/flink-ml/pom.xml ---
@@ -103,6 +103,9 @@
<profile>
<id>windows</id>
<activation>
+ <property>
+ <name>windows</name>
--- End diff --
This profile is never activated from the command-line and doesn't require
the property.---
