Closed trishume closed 8 years ago
Perfect, thanks.
Please amend the commit and put some of the description of this pull request in the commit message. I like to have the information in the commit messages themselves.
I'll merge it afterwards. Thanks again.
Done.
And merged. Thanks again!
This PR does two things (if you like one but not the other I can revert one):
@hpdeifel