Revert "Merge branch 'multi_herk' into 'master'" (!22) · Merge requests · NPNEQ / inq · GitLab

Xavier Andrade requested to merge revert-f1bc1c28 into master Oct 15, 2019

This reverts merge request !17 (merged) It doesn't compile.