Processed: [bts-link] source package splint
Processing commands for control@bugs.debian.org:
> #
> # bts-link upstream status pull for source package splint
> # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
> # https://bts-link-team.pages.debian.net/bts-link/
> #
> user debian-bts-link@lists.debian.org
Setting user to debian-bts-link@lists.debian.org (was debian-bts-link@lists.debian.org).
> # remote status report for #171434 (http://bugs.debian.org/171434)
> # Bug title: splint: Useless warning "Function parameter declared as manifest array"
> # * http://sourceforge.net/tracker/?func=detail&atid=459911&aid=1864418&group_id=34302
> # * remote status changed: (?) -> open
> usertags 171434 + status-open
There were no usertags set.
Usertags are now: status-open.
> # remote status report for #475675 (http://bugs.debian.org/475675)
> # Bug title: within struct foo *(bar[baz]); splint thinks that bar is of type struct foo* whereas it is a **
> # * http://sourceforge.net/tracker/?func=detail&atid=459911&aid=1942710&group_id=34302
> # * remote status changed: (?) -> open
> usertags 475675 + status-open
There were no usertags set.
Usertags are now: status-open.
> # remote status report for #479619 (http://bugs.debian.org/479619)
> # Bug title: splint: Internal Bug at context.c:2439
> # * http://sourceforge.net/tracker/?func=detail&atid=459911&aid=1960107&group_id=34302
> # * remote status changed: (?) -> open
> usertags 479619 + status-open
There were no usertags set.
Usertags are now: status-open.
> # remote status report for #572881 (http://bugs.debian.org/572881)
> # Bug title: splint: Please add EXAMPLES section to manual page
> # * http://sourceforge.net/tracker/?func=detail&atid=459911&aid=2965047&group_id=34302
> # * remote status changed: (?) -> open
> usertags 572881 + status-open
There were no usertags set.
Usertags are now: status-open.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
572881: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=572881
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: