ghc port vanished

Hi, I checked in a version bump of ghc to 6.8.2 yesterday. The portfile is in the svn repo, but someone emailed me to say that it did not appear in their dports tree. I notice as well that it is missing from the "available ports" on the web page. Did something go awry or should just advise people to wait until some script syncs things up? Best Wishes, Greg