[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Patch #1281] FileDescriptor.close() bugfix
From: |
nobody |
Subject: |
[Patch #1281] FileDescriptor.close() bugfix |
Date: |
Mon, 17 Mar 2003 11:10:48 -0500 |
Patch #1281 has been updated.
Project:
Category: None
Status: Open
Summary: FileDescriptor.close() bugfix
-------------------------------------------------------
For more info, visit:
http://savannah.gnu.org/patch/?func=detailpatch&patch_id=1281&group_id=85
- [Patch #1281] FileDescriptor.close() bugfix,
nobody <=