Commit 5a8f46ee authored Nov 23, 2017 by Andreas Klöckner

Merge branch 'eliminate-empty-list' into 'master'

Eliminate empty lists in ListOfListsBuilder

See merge request !24