FYI: Patch: merging gnu.java.lang.*

[Michael Koch]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi list,


I commited the attached patch to trunk to merge gnu.java.lang.* a bit 
more.


Michael
- -- 
Homepage: http://www.worldforge.org/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)

iD8DBQE+7wP3WSOgCCdjSDsRAt2OAJ9zSd4zgegh8qm5mZnHg4rqIgiFegCgoHsN
l+vVxtsahVuTJfEcYSHg54E=
=Gahs
-----END PGP SIGNATURE-----
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gnulang.diff
Type: text/x-diff
Size: 13585 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/java-patches/attachments/20030617/be5d6ca4/attachment.bin>