flink-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From dawidwys <...@git.apache.org>
Subject [GitHub] flink pull request #6371: [FLINK-9871] Use Description class for ConfigOptio...
Date Thu, 19 Jul 2018 09:58:36 GMT
GitHub user dawidwys opened a pull request:


    [FLINK-9871] Use Description class for ConfigOptions with rich format…

    Updated `ConfigOptions` which had links to use `Description` class, which properly handles
rich formatting.

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/dawidwys/flink FLINK-9871

Alternatively you can review and apply these changes as the patch at:


To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #6371
commit c829ef55c5fca16ccb537daa77f035efd0ee45c6
Author: Dawid Wysakowicz <dwysakowicz@...>
Date:   2018-07-17T09:25:42Z

    [FLINK-9871] Use Description class for ConfigOptions with rich formatting



View raw message