Closed DerManoMann closed 12 years ago
Fix for issue #52
NOTE: The pull request seems to be from edge into master; of course that should be from edge to edge.
I merged your commit into the edge branch. I cannot merge this pull request since it is on the wrong branch...
Fix for issue #52
NOTE: The pull request seems to be from edge into master; of course that should be from edge to edge.