Skip to content
This repository was archived by the owner on Feb 5, 2025. It is now read-only.

Conversation

@aerych
Copy link
Contributor

@aerych aerych commented Mar 15, 2019

It looks like a release was merged to master before it was merged to develop.
This PR merges those changes back to develop.

I've opened this one just from the GitHub UI so pinging both @SergioEstevao and @loremattei in case there is anything wonky with the way the web UI does things. 😬

Copy link
Contributor

@SergioEstevao SergioEstevao left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All looking good for me!

@aerych
Copy link
Contributor Author

aerych commented Mar 18, 2019

Thanks @SergioEstevao !

@aerych aerych merged commit 25ee7ca into develop Mar 18, 2019
@loremattei
Copy link
Contributor

Thank you for taking care of this @aerych!

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants