[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/REEF-335 Commit: 49255b0d93d0483adf3ddb8b819512a9edbc97ca Parents: 4784959 Author: Markus Weimer <[email protected]> Authored: Fri Apr 27 14:40:23 2018 -0700 Committer: Markus Weimer <[email protected]> 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 | [email protected] | | 1404 | 2018-04-25 | [email protected] | +| 1453 | 2018-04-27 | [email protected]| \ No newline at end of file
