Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Review of pending merges #1575

Closed
martinholmer opened this issue Sep 29, 2017 · 2 comments
Closed

Review of pending merges #1575

martinholmer opened this issue Sep 29, 2017 · 2 comments
Labels
request

Comments

@martinholmer
Copy link
Collaborator

martinholmer commented Sep 29, 2017 •
edited

No description provided.

@martinholmer
Copy link
Collaborator Author

martinholmer commented Sep 29, 2017 •
edited

Any review of the pending merge(s) would be appreciated.
If there are no questions or concerns about pull request #1576, then
it will be merged into the master branch on Thursday, October 5th.

@MattHJensen @feenberg @Amy-Xu @andersonfrailey @hdoupe @GoFroggyRun @codykallen @jdebacker @rickecon

@martinholmer
Copy link
Collaborator Author

Any review of the pending merge(s) would be appreciated.
If there are no questions or concerns about pull request #1577, then
it will be merged into the master branch on Friday, October 6th.

@MattHJensen @feenberg @Amy-Xu @andersonfrailey @hdoupe @GoFroggyRun @codykallen @jdebacker @rickecon

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@martinholmer