Processed: bug 561317 is forwarded to http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42606

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> #Fix bugzilla address
> forwarded 561317 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42606
Bug #561317 [libgcj10] [PR42606] Method java.net.URL.openConnection(java.net.Proxy) nyi
Changed Bug forwarded-to-address to 'http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42606' from 'http://gcc.gnu.org/bugzilla/PR42606'
> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)