Skip to content
This repository has been archived by the owner on Aug 22, 2019. It is now read-only.

merge changes from 0.12 minor #1352

Merged
merged 28 commits into from Nov 16, 2018
Merged

merge changes from 0.12 minor #1352

merged 28 commits into from Nov 16, 2018

Conversation

akelad
Copy link
Contributor

@akelad akelad commented Nov 15, 2018

Proposed changes:

  • merge changes from 0.12 minor

Status (please check what you already did):

  • made PR ready for code review
  • added some tests for the functionality
  • updated the documentation
  • updated the changelog

@akelad akelad requested a review from ricwo November 15, 2018 13:13
@tmbo tmbo merged commit 070a36a into master Nov 16, 2018
@tmbo tmbo deleted the apply_0.12.x_master branch November 16, 2018 07:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
5 participants