Skip to content
This repository was archived by the owner on Mar 8, 2023. It is now read-only.

Conversation

florisvdg
Copy link
Member

For now just for building

@florisvdg florisvdg changed the base branch from master to develop March 8, 2019 10:55
@florisvdg florisvdg changed the base branch from develop to master March 8, 2019 13:44
@florisvdg florisvdg changed the base branch from master to develop March 8, 2019 13:44
@florisvdg florisvdg requested a review from SimonBarendse March 8, 2019 14:32
@florisvdg florisvdg merged commit 6ea1065 into develop Mar 11, 2019
@florisvdg florisvdg deleted the circleci branch March 11, 2019 11:31
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.

2 participants