Skip to content
This repository has been archived by the owner on Jan 14, 2020. It is now read-only.

Merge develop into master #107

Merged
merged 2 commits into from
Nov 13, 2019
Merged

Merge develop into master #107

merged 2 commits into from
Nov 13, 2019

Conversation

thomas-alrek
Copy link
Member

  • Please check if the PR fulfills these requirements
  • The commit message follows our guidelines
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • What kind of change does this PR introduce? (Bug fix, feature, docs update, ...)

  • What is the current behavior? (You can also link to an open issue here)

  • What is the new behavior (if this is a feature change)?

  • Does this PR introduce a breaking change? (What changes might users need to make in their application due to this PR?)

  • Other information:

@thomas-alrek thomas-alrek merged commit 40cde58 into master Nov 13, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
2 participants