[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#1124082: debian-installer: please rename mini.iso to e.g.debian-13.2.0-amd64-mini.iso



On Sun, Dec 28, 2025 at 01:55:30PM +0100, Cyril Brulebois wrote:
> > if they are not useful (or even worse, out of sync, or some such), rm them.
> > if they are useful, name them properly.
> There's no “proper name” in the first place (see details in the parts of
> my mail you didn't reply to).

then I suggested to remove them. (see first line of the quoted part of my mail :)


-- 
cheers,
	Holger

 ⢀⣴⠾⠻⢶⣦⠀
 ⣾⠁⢠⠒⠀⣿⡁  holger@(debian|reproducible-builds|layer-acht).org
 ⢿⡄⠘⠷⠚⠋⠀  OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C
 ⠈⠳⣄

Ich bin so alt, ich hab im Kindergarten noch Aschenbecher getöpfert.
(@joanalistin)

Attachment: signature.asc
Description: PGP signature


Reply to: