Dear list, Currently I use php52-5.2.17_8 but want to upgrade to php52-5.3.xxx through the ports. Can somebody tell me how I can force portupgrade to do so? thanks, Jos Chrispijn -- Artificial intelligence is no match for natural stupidity...