On Mon, Apr 03, 2017 at 03:40:13PM +0200, Geert Stappers wrote: > > Find attached a patch against the installation guide. > In http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=859438 is the same patch. Bugreport #859438 is against packageinstallation-guide Groeten Geert