Skip to content

Conversation

wimjongman
Copy link
Member

@wimjongman wimjongman commented Dec 20, 2018

Making a fake change to trigger a build

Making a fake change to trigger a pull request.
@wimjongman wimjongman merged commit 81155da into master Dec 20, 2018
@wimjongman wimjongman deleted the Move-to-new-Eclipse-Release-2018-12-#1055 branch December 20, 2018 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant