surjection: Fix leading whitespace

This commit is contained in:
Tim Ruffing
2026-03-05 21:12:04 +01:00
parent 229e1f127a
commit 78999f3a9a