Processing commands for cont...@bugs.debian.org: > forcemerge 689753 902544 Bug #689753 [src:linux] linux-image-3.5-trunk-amd64: Please support /boot being vfat, or another way of having the kernel on the EFI system partition Bug #902544 [src:linux] linux-image-4.16.0-2-amd64: Kernel installation fails when /boot is FAT partition Marked as found in versions linux/3.5.5-1~experimental.1. Added tag(s) wontfix. Bug #689753 [src:linux] linux-image-3.5-trunk-amd64: Please support /boot being vfat, or another way of having the kernel on the EFI system partition Marked as found in versions linux/4.16.12-1. Merged 689753 902544 > thanks Stopping processing here.
Please contact me if you need assistance. -- 689753: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=689753 902544: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902544 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems