Processing commands for [email protected]: > forwarded 915322 https://sourceware.org/bugzilla/show_bug.cgi?id=23965 Bug #915322 [gdb-doc] --args option not documented in gdb.1 man page Set Bug forwarded-to-address to 'https://sourceware.org/bugzilla/show_bug.cgi?id=23965'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 915322: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=915322 Debian Bug Tracking System Contact [email protected] with problems
