Github user aljoscha commented on the issue:

    https://github.com/apache/flink/pull/5461
  
    And I like how the options where not sorted before and also related options 
where not next to each other ... 😅 


---

Reply via email to