Commit 09a22d73 authored by Frank Bossen's avatar Frank Bossen

Revert "Merge branch 'fix_mergeListSize' into 'master'"

This reverts merge request !105
parent 7f21927e
Pipeline #396 passed with stage