mirror of
https://review.haiku-os.org/haiku
synced 2025-01-21 05:53:46 +01:00
524bb6d3ec
As per Jérôme Duval's code review in issue #9337.