chore: rename wholespace correctly

This commit is contained in:
Jan De Dobbeleer 2022-09-10 09:00:21 +02:00 committed by Jan De Dobbeleer
parent 24e48a1f06
commit 1d02bbc684