Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 1067247 1066995
Bug #1067247 [src:pulseaudio] pulseaudio: #error "_TIME_BITS=64 is allowed only with _FILE_OFFSET_BITS=64"
Bug #1066995 [src:pulseaudio] pulseaudio: FTBFS with _TIME_BITS=64 on 32-bit systems
Added tag(s) ftbfs.
Bug #1067247 [src:pulseaudio] pulseaudio: #error "_TIME_BITS=64 is allowed only with _FILE_OFFSET_BITS=64"
Added tag(s) upstream.
Merged 1066995 1067247
> tags 1067247 + upstream
Bug #1067247 [src:pulseaudio] pulseaudio: #error "_TIME_BITS=64 is allowed only with _FILE_OFFSET_BITS=64"
Bug #1066995 [src:pulseaudio] pulseaudio: FTBFS with _TIME_BITS=64 on 32-bit systems
Ignoring request to alter tags of bug #1067247 to the same tags previously set
Ignoring request to alter tags of bug #1066995 to the same tags previously set
> tags 1066995 + ftbfs
Bug #1066995 [src:pulseaudio] pulseaudio: FTBFS with _TIME_BITS=64 on 32-bit systems
Bug #1067247 [src:pulseaudio] pulseaudio: #error "_TIME_BITS=64 is allowed only with _FILE_OFFSET_BITS=64"
Ignoring request to alter tags of bug #1066995 to the same tags previously set
Ignoring request to alter tags of bug #1067247 to the same tags previously set
> thanks
Stopping processing here.

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