refs #468 remove some whitespace

This is a pretty much dumb commit just to make a ref to the ticket #468,
because the changes proposed to fix #464 also work on linux.
pull/4/head
Natalia Serrano 2024-07-01 12:16:41 +02:00
parent 10fab7839e
commit 833a0dc412
1 changed files with 5 additions and 5 deletions