You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@reef.apache.org by we...@apache.org on 2018/04/27 21:41:15 UTC

reef git commit: [Trivial] Pull request close

Repository: reef
Updated Branches:
  refs/heads/master 4784959c0 -> 49255b0d9


[Trivial] Pull request close

I forgot to close the PR in the prior commit. Doing that now.

Pull Request:
  This closes #1453


Project: http://git-wip-us.apache.org/repos/asf/reef/repo
Commit: http://git-wip-us.apache.org/repos/asf/reef/commit/49255b0d
Tree: http://git-wip-us.apache.org/repos/asf/reef/tree/49255b0d
Diff: http://git-wip-us.apache.org/repos/asf/reef/diff/49255b0d

Branch: refs/heads/master
Commit: 49255b0d93d0483adf3ddb8b819512a9edbc97ca
Parents: 4784959
Author: Markus Weimer <we...@apache.org>
Authored: Fri Apr 27 14:40:23 2018 -0700
Committer: Markus Weimer <we...@apache.org>
Committed: Fri Apr 27 14:40:23 2018 -0700

----------------------------------------------------------------------
 dev/ClosedPullRequests.md | 1 +
 1 file changed, 1 insertion(+)
----------------------------------------------------------------------


http://git-wip-us.apache.org/repos/asf/reef/blob/49255b0d/dev/ClosedPullRequests.md
----------------------------------------------------------------------
diff --git a/dev/ClosedPullRequests.md b/dev/ClosedPullRequests.md
index 335b7f1..1aaea49 100644
--- a/dev/ClosedPullRequests.md
+++ b/dev/ClosedPullRequests.md
@@ -10,3 +10,4 @@ process.
 |-----------|-------------|-------------------|
 | 1434      | 2018-04-25  | weimer@apache.org |
 | 1404      | 2018-04-25  | weimer@apache.org |
+| 1453      | 2018-04-27  | weimer@apache.org|
\ No newline at end of file