Processed: these two bugs are really the same
Processing commands for control@bugs.debian.org:
> forcemerge 994274 1042037
Bug #994274 [src:syslinux] syslinux: FTBFS with gnu-efi 3.0.13
Bug #1042037 [src:syslinux] syslinux: FTBFS: main.c:33:8: error: unknown type name ‘jmp_buf’
Added tag(s) bookworm.
Merged 994274 1042037
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
1042037: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042037
994274: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994274
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: