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

Conversation 3 Commits 2 Files Changed 2 +2 -2

2 Commits

Author	SHA1	Message	Date
Thorsten Sommer	3ad5434a53	Fixed void generator	2022-11-01 19:34:16 +01:00
Thorsten Sommer	8314e2dac0	Suppressed wrong null warning	2022-11-01 19:34:04 +01:00