Redundant markings in the file structure maybe but when you download it you still just get an ambiguous mini.iso (or a mini.iso.1 or mini.iso.2 or "mini (1).iso" or mini(5).iso).
If you could point me to where these are built I'd be more than happy to take a stab at it, I just haven't had any luck finding what builds the release ISOs yet. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1202300 Title: All of the net install images are named mini.iso To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/debian-installer/+bug/1202300/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
