On 01/08/16 12:15 PM, Cyril Brulebois wrote: > Hi, > > Ben Armstrong <[email protected]> (2016-08-01): >> I've just done this for live-manual. However, debian-installer-launcher >> is maintained by debian-boot, and apparently I don't have permission to >> remove myself, so I need help from them to take care of this. > Didn't notice your mail in addition to IRC…
I waited for a bit on irc but didn't seem like anyone was around, and then posted. > Anyway, pushed that: > > https://anonscm.debian.org/git/d-i/debian-installer-launcher.git/commit/?id=9d9a31e Thanks. Cheers, Ben
