@tsteur opened this Pull Request on November 23rd 2016 Owner

fix #10890

@tsteur commented on November 23rd 2016 Owner

Ideally we squash the PR, because of travis.yml there were many commits

@mattab commented on December 1st 2016 Owner

Useful change :+1:

This Pull Request was closed on December 1st 2016
Powered by GitHub Issue Mirror