flink-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From rmetzger <...@git.apache.org>
Subject [GitHub] incubator-flink pull request: [FLINK-927] Quick and dirty fix for ...
Date Thu, 12 Jun 2014 21:18:40 GMT
Github user rmetzger commented on the pull request:

    Merged into master and 0.5.1.
    Please close the pull request (only the author of the PR can close it)

If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastructure@apache.org or file a JIRA ticket
with INFRA.

View raw message