Skip to content

Fix604#605

Merged
mfeurer merged 1 commit intodevelopfrom
fix604
Dec 7, 2018
Merged

Fix604#605
mfeurer merged 1 commit intodevelopfrom
fix604

Conversation

@janvanrijn
Copy link
Member

fixes #604

@janvanrijn janvanrijn changed the base branch from master to develop December 7, 2018 00:31
@janvanrijn janvanrijn requested a review from mfeurer December 7, 2018 00:32
@mfeurer mfeurer merged commit aae0e5b into develop Dec 7, 2018
@mfeurer mfeurer deleted the fix604 branch December 7, 2018 08:18
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.

Task API changed?

2 participants