Bug#1072167: grub-pc-dbg: newly-added symbol file "..." does not provide any symbols

[Felix Zielcke]

Control: tag -1 pending

Am Samstag, dem 28.06.2025 um 17:46 +0200 schrieb Chris Hofstaedtler:
> Hi Felix,
> 
> you uploaded a new grub2 on June 11th. However that upload did not 
> include Ben's patch for this bug.
> 
> [...]
> 
> Any reason for skipping over this?
> 
> Could you maybe take Ben's patch and apply it?
> 
> Thanks,
> Chris
> 

Hi Chris,

thanks for the hint. Somehow I missed it.

Just pushed the commit to include it in next upload.

Regards
Felix