Merge branch Issue#151 with master
Exact same Merge as !81 (closed). I made a mistake when deleting the old one, now the branch is back.
Same commit as d6928bee .
Issue #151 (closed)
Exact same Merge as !81 (closed). I made a mistake when deleting the old one, now the branch is back.
Same commit as d6928bee .
Issue #151 (closed)