@jvilk opened this Pull Request on November 2nd 2017 Contributor

Fixes #12105.

@jvilk commented on November 8th 2017 Contributor

This is ready for review.

The CI failure seems consistent with the status of the 3.x-dev branch, and is likely not caused by this change.

@tsteur commented on December 14th 2017 Owner

Thanks for this 👍

This Pull Request was closed on December 14th 2017
Powered by GitHub Issue Mirror