chiark / gitweb /
rework seg_clear_stale and fix up
authorian <ian>
Sun, 13 Apr 2008 15:35:12 +0000 (15:35 +0000)
committerian <ian>
Sun, 13 Apr 2008 15:35:12 +0000 (15:35 +0000)
commit19fc27ef9b2d28efab7c8b6470a4276b97753f32
tree24425db50ea0b94d837a2851def4181f46450911
parent6ceea00bf35772604890d13ef77be1c3d9fbc153
rework seg_clear_stale and fix up
hostside/safety.c