This reverts merge request !71 (merged)
Merge details
assigned to @dupuisa
merged
mentioned in commit 70d625bc