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

[Debian Bug Tracking System]

Processing control commands:

> tag -1 pending
Bug #1072167 [grub-pc-dbg] grub-pc-dbg: newly-added symbol file "..." does not provide any symbols
Ignoring request to alter tags of bug #1072167 to the same tags previously set

-- 
1072167: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1072167
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems