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)
Push commits to the source branch or add previously merged commits to review them.
