jeffd
committed
14 years and 8 months ago
Remerge Timo's changes for tip 42,43, cf tip 53