mirror of
https://review.haiku-os.org/haiku
synced 2025-01-22 06:16:03 +01:00
88f22c9768
Instead deduce the file name from the URL. A long overdue change. Avoids unnecessary name duplication, which only led to errors.