Actually, I see that plain strdup() has been used in this file, so I shall
go with that.

-- Andy.




Reply via email to