Skip to content

Revert "Merge branch 'ralf/mangled' into 'master'"

Robbert Krebbersrequested to merge
robbert/revert_475 into master

This reverts commit 6a7d163c, reversing changes made to 40e5274f.

See #184

Merge request reports