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, larocca@spinnakernet.com, nobody@gcc.gnu.org, tromey@gcc.gnu.org
Subject: Re: libgcj/4481: java.io.File.getParent not working properly
Date: Mon, 08 Oct 2001 13:44:00 -0000
Message-id: <20011008204421.2208.qmail@sourceware.cygnus.com>
X-SW-Source: 2001-10/msg00165.html
List-Id: <gcc-prs.sourceware.org>

Synopsis: java.io.File.getParent not working properly

Responsible-Changed-From-To: unassigned->tromey
Responsible-Changed-By: tromey
Responsible-Changed-When: Mon Oct  8 13:44:20 2001
Responsible-Changed-Why:
    I'm handling it.
State-Changed-From-To: open->closed
State-Changed-By: tromey
State-Changed-When: Mon Oct  8 13:44:20 2001
State-Changed-Why:
    I checked in a fix for this, so I am closing the PR.
    Thanks.

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