More compilation error fixes

This commit is contained in:
Nassim Jahnke
2022-06-08 16:24:55 +02:00
parent 0da6d1d498
commit 3cd8d0c681
7 changed files with 27 additions and 13 deletions