Skip to content

Conversation

@ASRagab
Copy link
Contributor

@ASRagab ASRagab commented Jul 17, 2016

No description provided.

@rmetzger
Copy link
Contributor

rmetzger commented Aug 8, 2016

merging ...

@rmetzger
Copy link
Contributor

rmetzger commented Aug 8, 2016

@ASRagab: Could you close the pull request? I can not close the PR from the Github interface and I forgot to include the magic string to close it from the commit message.

@ASRagab
Copy link
Contributor Author

ASRagab commented Aug 8, 2016

Closing...

@ASRagab ASRagab closed this Aug 8, 2016
@rmetzger
Copy link
Contributor

rmetzger commented Aug 8, 2016

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants