mirror of
https://review.haiku-os.org/haiku
synced 2025-02-01 19:26:13 +01:00
5be6527a63
Should not be a functional change, but reading the docs, I'm not sure our arguments were valid here, so this should be more correct.