fixes #557
Any reason for changing the indentation here?
rebased onto 08ba7bf435c2cc0b848feb420e6387b0a4c45ead
abompard commented 18 hours ago Any reason for changing the indentation here?
nope :/ good catch! fixed and rebased!
Commit e0014a6b fixes this pull-request
Pull-Request has been merged by abompard
fixes #557