# Work around a bug in the obsolete init-select package which broke # grub-mkconfig when init-select was removed but not purged. This file does # nothing and will be removed in a later release. # # See: # https://bugs.debian.org/858528 # https://bugs.debian.org/863801