flink-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From zentol <...@git.apache.org>
Subject [GitHub] flink pull request #5163: [FLINK-8254][REST][docs] Bandaid generated documen...
Date Wed, 13 Dec 2017 15:54:25 GMT
GitHub user zentol opened a pull request:

    https://github.com/apache/flink/pull/5163

    [FLINK-8254][REST][docs] Bandaid generated documentation

    ## What is the purpose of the change
    
    This is a bandaid PR that replaces the generated file with a correct version and updates
the instructions with a workaround.
    
    ## Verifying this change
    
    Manually verified.


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

    $ git pull https://github.com/zentol/flink 8254

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

    https://github.com/apache/flink/pull/5163.patch

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

    This closes #5163
    
----
commit c3723d610836ef82969946248a279f2fae1cfbce
Author: zentol <chesnay@apache.org>
Date:   2017-12-13T15:51:51Z

    [FLINK-8254][REST][docs] Bandaid generated documentation

----


---

Mime
View raw message