On Mon, Apr 03, 2023 at 09:44:14PM +0200, Holger Wansing wrote: >Hi, > >Holger Wansing <hwans...@mailbox.org> wrote (Mon, 3 Apr 2023 21:16:41 +0200): >> Holger Wansing <hwans...@mailbox.org> wrote (Sat, 1 Apr 2023 20:52:08 +0200): >> > I have added such wiki page under >> > https://wiki.debian.org/DebianInstaller/CreateUSBMedia >> > and overworked my patch a bit, to include a link to this page (amongst >> > some more minor things). >> > >> > I will apply it shortly, if noone objects. >> >> Applied. > >FYI: I have also removed the chapter for booting the installer from Windows >(spotted just today), since win32-loader support has been removed from the >installer as well.
Awesome stuff. Thanks Holger! \o/ -- Steve McIntyre, Cambridge, UK. st...@einval.com "...In the UNIX world, people tend to interpret `non-technical user' as meaning someone who's only ever written one device driver." -- Daniel Pead
