Patch: java.util.Properties

[Michael Koch]

Hi list,


I just commited the attached patch to correct a badly merged fix.


Michael


2004-04-21  Michael Koch  <konqueror@gmx.de>

	* java/util/Properties.java
	(load): Fix wrongly merged fix.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: util.diff
Type: text/x-diff
Size: 732 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/java-patches/attachments/20040421/78f54553/attachment.bin>