[Bug libgcj/10886] The RMI registry that comes with GCJ does not work correctly

[jsturm@gcc.gnu.org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10886


jsturm@gcc.gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


------- Additional Comments From jsturm@gcc.gnu.org  2003-06-08 01:37 -------
Patch applied to mainline.