From mboxrd@z Thu Jan  1 00:00:00 1970
From: tromey@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, java-prs@gcc.gnu.org, jwnimmer@alum.mit.edu, nobody@gcc.gnu.org, tromey@gcc.gnu.org
Subject: Re: libgcj/3523: java.io.LineNumberReader has a buggy reset() method.
Date: Sun, 01 Jul 2001 22:18:00 -0000
Message-id: <20010702051826.1510.qmail@sourceware.cygnus.com>
X-SW-Source: 2001-07/msg00021.html
List-Id: <gcc-prs.sourceware.org>

Synopsis: java.io.LineNumberReader has a buggy reset() method.

Responsible-Changed-From-To: unassigned->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Sun Jul  1 22:18:26 2001
Responsible-Changed-Why:
    I'm handling the PR.
State-Changed-From-To: open->closed
State-Changed-By: tromey
State-Changed-When: Sun Jul  1 22:18:26 2001
State-Changed-Why:
    I agree with the enclosed patch and I have checked it in.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3523&database=gcc