Resolve "Bug: VoidGenerator does not work" #79

Merged
thorsten merged 2 commits from 46-bug-voidgenerator-does-not-work into main 2022-11-01 18:34:57 +00:00
2 Commits
Author SHA1 Message Date
tsommer 3ad5434a53 Fixed void generator 2022-11-01 19:34:16 +01:00
tsommer 8314e2dac0 Suppressed wrong null warning 2022-11-01 19:34:04 +01:00