Closed hohwille closed 8 years ago
fix for #458. Feel free to merge :)
I usually want to prevent that someone merges his own PRs. But I announced my fixes with links to PRs in Yammer more than a month ago with no reaction. So I will do it myself now.
Sorry for the unassignment ;)
fix for #458. Feel free to merge :)