Processed: Re: Bug#951709: /boot should get a bigger share of disk in default installation
Processing control commands: > tags 951709 + pending Bug #951709 [debian-installer] /boot should get a bigger share of disk in default installation Ignoring request to alter tags of bug #951709 to the same tags previously set -- 951709: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=951709 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
Processed: Re: Bug#951709: /boot should get a bigger share of disk in default installation
Processing control commands: > tags 951709 + pending Bug #951709 [debian-installer] /boot should get a bigger share of disk in default installation Added tag(s) pending. -- 893886: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893886 951709: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=951709 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
