Github user zentol commented on the pull request:
https://github.com/apache/flink/commit/ec28f92ffd042308494d9661a38ab462738611aa#commitcomment-29761887
In
flink-core/src/main/java/org/apache/flink/configuration/Configuration.java:
In
flink-core/src/main/java/org/apache/flink/configuration/Configuration.java on
line 744:
An option may be for the current and deprecated key(s) at the same time.---
