Collected fixes (#509, #575)#589
Open
clausreinke wants to merge 6 commits into
Open
Commits
Commits on Mar 31, 2015
- committed
Claus Reinke - committed
Claus Reinke - committed
Claus Reinke
Commits on Apr 6, 2015
- committed
Claus Reinke
Commits on Apr 12, 2015
- committed
Claus Reinke
Commits on Apr 13, 2015
- committed
Claus Reinke