Processing commands for cont...@bugs.debian.org:

> forcemerge 473595 601424
Bug #473595 [splint] splint: Internal Bug at cscannerHelp.c:2428
Bug #476228 [splint] Internal bug in /usr/include/bits/confname.h
Bug #498345 [splint] internal bug for splint +posixlib with #include<unistd.h>
Bug #548768 [splint] splint +posixlib: Internal bug while reading unistd.h
Bug #569928 [splint] splint: option +posixlib -- Internal Bug at 
cscannerHelp.c:2428: Unexpanded macro
Bug #498345 [splint] internal bug for splint +posixlib with #include<unistd.h>
No longer marked as found in versions 3.1.2.
No longer marked as found in versions 3.1.2.
No longer marked as found in versions 3.1.2.
No longer marked as found in versions 3.1.2.
No longer marked as found in versions 3.1.2.
Bug #601424 [splint] splint and posixlib
Set Bug forwarded-to-address to 
'http://sourceforge.net/tracker/index.php?func=detail&aid=1930523&group_id=34302&atid=459911'.
Severity set to 'important' from 'normal'
Marked as found in versions splint/3.1.2.dfsg1-2, splint/3.1.2.dfsg-7, 
splint/3.1.2.dfsg1-1, and splint/3.1.2.dfsg-6.
Added tag(s) fixed-upstream, upstream, and confirmed.
Bug #476228 [splint] Internal bug in /usr/include/bits/confname.h
Bug #548768 [splint] splint +posixlib: Internal bug while reading unistd.h
Bug #569928 [splint] splint: option +posixlib -- Internal Bug at 
cscannerHelp.c:2428: Unexpanded macro
Merged 473595 476228 498345 548768 569928 601424
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
473595: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=473595
476228: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=476228
498345: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=498345
548768: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=548768
569928: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=569928
601424: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=601424
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Reply via email to