Skip to content

Conversation

@grkvlt
Copy link
Member

@grkvlt grkvlt commented Oct 3, 2018

Extra line for PR to test Jenkins builds.

DO NOT MERGE!

Extra line for PR to test Jenkins builds
@aledsage
Copy link
Contributor

aledsage commented Oct 9, 2018

@grkvlt did your test work? Are you happy to close this?

Ping me if you want to discuss PR builds - I've been working on our build configuration in jenkins.

@grkvlt
Copy link
Member Author

grkvlt commented Oct 12, 2018

Closing, testing successful. Thanks @aledsage

@grkvlt grkvlt closed this Oct 12, 2018
@grkvlt grkvlt deleted the patch-1 branch October 12, 2018 17:27
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