Change nodhcp patch to unset the DHCP option as well
[live-boot-grml.git] / debian / compat
1 8