Skip to content

Conversation

@sleto-it
Copy link
Contributor

@sleto-it sleto-it commented Jun 11, 2019

No description provided.

@lservini
Copy link
Contributor

Looks good to me

@lservini lservini merged commit 74232fd into master Jul 12, 2019
Copy link
Contributor

@lservini lservini left a comment

Choose a reason for hiding this comment

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

Lokks good to me

@sleto-it
Copy link
Contributor Author

sorry luigi merged accidentally but this was ready to be merged anyway, tests have been completed. I was going to merge, or ask Max to do - thanks

@informalict informalict deleted the documentation/supported-version branch November 7, 2019 06:00
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.

3 participants