Moin On Sat, Aug 05, 2017 at 03:15:51PM +0200, Bastian Blank wrote: > On Sun, Jul 30, 2017 at 04:45:38PM +0200, Cyril Brulebois wrote: > > Yeah. Feel free to propose patches for that then. > Pushed as branch "waldi/dedup-links" to debian-installer.git. Any more thoughts on this? Bastian -- Where there's no emotion, there's no motive for violence. -- Spock, "Dagger of the Mind", stardate 2715.1