[ https://issues.apache.org/jira/browse/FLINK-12639?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Flink Jira Bot updated FLINK-12639: ----------------------------------- Labels: auto-deprioritized-major auto-deprioritized-minor pull-request-available usability (was: auto-deprioritized-major pull-request-available stale-minor usability) Priority: Not a Priority (was: Minor) This issue was labeled "stale-minor" 7 days ago and has not received any updates so it is being deprioritized. If this ticket is actually Minor, please raise the priority and ask a committer to assign you the issue or revive the public discussion. > FLIP-42: Rework Documentation > ----------------------------- > > Key: FLINK-12639 > URL: https://issues.apache.org/jira/browse/FLINK-12639 > Project: Flink > Issue Type: Improvement > Components: Documentation > Reporter: Konstantin Knauf > Priority: Not a Priority > Labels: auto-deprioritized-major, auto-deprioritized-minor, > pull-request-available, usability > Time Spent: 20m > Remaining Estimate: 0h > -- This message was sent by Atlassian Jira (v8.20.1#820001)