Skip to content

Conversation

@ahuarte47
Copy link
Contributor

@jericks
Copy link
Member

jericks commented Nov 21, 2019

Looks good! Thank you!

@jericks jericks closed this Nov 21, 2019
@ahuarte47
Copy link
Contributor Author

ahuarte47 commented Nov 21, 2019

Hi @jericks, sorry, but you closed this PR without merging, it was a mistake?

@jericks jericks reopened this Nov 21, 2019
@jericks
Copy link
Member

jericks commented Nov 21, 2019

Sorry! I guess I don't have merge privileges.

@ahuarte47
Copy link
Contributor Author

@jericks no problem, thanks for your intention!

@jericks jericks merged commit 9af3c82 into geoscript:master Nov 21, 2019
@jericks
Copy link
Member

jericks commented Nov 21, 2019

Just couldn't merge from my phone.

@ahuarte47 ahuarte47 deleted the master_DefaultQueryRemoved branch November 21, 2019 01:52
@ahuarte47
Copy link
Contributor Author

Thank you very much @jericks !

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants