Processed: retitle 887656 to debian-installer: Not obvious how to configure a static IP address ...
Processing commands for control@bugs.debian.org:
> retitle 887656 debian-installer: Not obvious how to configure a static IP address
Bug #887656 [debian-installer] debian-installer: no way to set IP address manually if DHCP address assigned
Changed Bug title to 'debian-installer: Not obvious how to configure a static IP address' from 'debian-installer: no way to set IP address manually if DHCP address assigned'.
> severity 887656 minor
Bug #887656 [debian-installer] debian-installer: Not obvious how to configure a static IP address
Severity set to 'minor' from 'normal'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
887656: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=887656
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: