@ksubileau opened this Pull Request on April 4th 2016 Contributor

A possible fix for #9966

@quba commented on April 5th 2016 Contributor

Gratz! Issue/pr nb #10000 :)

@tsteur commented on April 5th 2016 Member

I tested it and works great :+1: Just made two really minor comments but after those changes we can merge. Thank you for that and for getting this done so quick :+1:

@tsteur commented on April 11th 2016 Member

Awesome 👍 👍 Thanks for this. Merging now

This Pull Request was closed on April 11th 2016
Powered by GitHub Issue Mirror