Fix build on stable by adding missing field in `HoleList` initializer#68

Merged

phil-opp merged 1 commit intomainfrom

fix-build-on-stable

Sep 6, 2022

Commits on Sep 6, 2022

Fix build on stable by adding missing field in `HoleList` initializer
phil-opp
committed