@sgiehl opened this Pull Request on March 9th 2018 Member

fixes #12608

@diosmosis commented on March 20th 2018 Member

:+1: looks good

@mattab commented on March 20th 2018 Member

@sgiehl :+1: nicely done!

I'm merging now, but could you please add an entry in the CHANGELOG for the new API feature/behavior?

This Pull Request was closed on March 20th 2018
Powered by GitHub Issue Mirror