Skip to content

Conversation

@bdmogal
Copy link
Contributor

@bdmogal bdmogal commented Sep 19, 2019

No description provided.

@bdmogal bdmogal changed the title Develop <- Master Develop -> Master Sep 19, 2019
@bdmogal
Copy link
Contributor Author

bdmogal commented Sep 19, 2019

Merging, since this is merely updating master with develop, without any manual changes.

@bdmogal bdmogal merged commit 0a0b136 into master Sep 19, 2019
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.

1 participant