/patch-aa/1.3/Thu Jul 20 15:25:45 2000//Tnetbsd-1-5-RELEASE
/patch-ab/1.3/Thu Jul 20 14:04:24 2000//Tnetbsd-1-5-RELEASE
/patch-ac/1.3/Sun Sep  3 13:52:13 2000//Tnetbsd-1-5-RELEASE
D