Minor fixes.

This commit is contained in:
Mikael Capelle
2021-10-07 14:39:06 +02:00
parent 68a82ccbc8
commit 7440596f69
2 changed files with 21 additions and 17 deletions