Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

more dependencies #1427

Merged
merged 2 commits into from Nov 24, 2019
Merged

more dependencies #1427

merged 2 commits into from Nov 24, 2019

Conversation

@Schnitzel
Copy link
Member

Schnitzel commented Nov 21, 2019

Checklist

  • Affected Issues have been mentioned in the Closing issues section
  • Documentation has been written/updated.
  • Changelog entry has been written

Explain the details for making this change. What existing problem does the pull request solve?

Changelog Entry

Closing issues

Put closes #XXXX in your comment to auto-close the issue that your PR fixes (if such).

Copy link
Contributor

tobybellwood left a comment

LGTM

@Schnitzel Schnitzel merged commit 390631f into master Nov 24, 2019
1 check failed
1 check failed
continuous-integration/jenkins/pr-merge This commit cannot be built
Details
@tobybellwood tobybellwood added this to the v1.2.0 milestone Nov 26, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.