Processed: these two bugs are really the same

Processing commands for cont...@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 p

Processed: These two bugs are really the same

Processing commands for cont...@bugs.debian.org: > retitle 830739 mpi-testsuite: FTBFS randomly because Makefile errors are not > trapped properly Bug #830739 [src:mpi-testsuite] mpi-testsuite: FTBFS on non-Linux: 'override_dh_auto_configure' failed Changed Bug title to 'mpi-testsuite: FTBFS ran