Processed: tagging 1101710

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # post-release bug mangling for bugs tagged sid. if this bug only affects sid, please remove the forky tag again
> tags 1101710 + forky
Bug #1101710 [src:polyml] polyml: FTBFS: /usr/lib/linux/uapi/x86/asm/elf.h:14:15: error: expected constructor, destructor, or type conversion before '(' token
Ignoring request to alter tags of bug #1101710 to the same tags previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1101710: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1101710
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems