Since there's some other things I've fixed too (e.g. dup()), I will post a
larger patch later on today.

Chris
 
 

Reply via email to