@barbushin opened this Pull Request on June 24th 2015 Contributor
@tsteur commented on June 26th 2015 Member

I thought about this a while ago but noticed it was there for a reason that I cannot remember now. We can remove it for now and add it in case we get random build failures etc

This Pull Request was closed on June 26th 2015
Powered by GitHub Issue Mirror