Commit 2f8438b006e9015401b93f55cea57b36b021ce56

Stefan Sperling 2022-05-04T15:39:15

avoid 'remove unused' loop by storing excluded objects in a separate set ok op@