|
| From: | noreply |
| Subject: | [patch #1864] [Patch #1864] bug fix for java.io.LineInputReader.read |
| Date: | Sun, 31 Aug 2003 15:47:45 -0400 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686) Gecko/20030714 Galeon/1.3.7 Debian/1.3.7.20030813-1 |
Patch #1864 has been updated. Project: Category: None Status: Closed Summary: bug fix for java.io.LineInputReader.read Follow-Ups: Date: Sun 08/31/03 at 21:47 By: mark Comment: Thanks. I wrote a mauve test case for this that fails before applying this patch and succeeds after applying it. ------------------------------------------------------- ------------------------------------------------------- For more info, visit: http://savannah.gnu.org/patch/?func=detailpatch&patch_id=1864&group_id=85 _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |