[GitHub] flink issue #4546: [FLINK-6751] [docs] Add missing documentation for User-De...

[fhueske]

Github user fhueske commented on the issue:

    https://github.com/apache/flink/pull/4546
  
    Thanks for the PR @shaoxuan-wang. I'll merge it.


---