ID change in docs

From: Date: Tue, 14 Aug 2001 22:35:16 +0000
Subject: ID change in docs
Groups: php.mirrors 
Request: Send a blank email to php-mirrors+get-6011@lists.php.net to get a copy of this message
Hi, I'm currently updating all languages with the IDs. I think it's best to wait a day, for new notes with the old doc, and then change the database, to move old notes to the new place. ID change: old: language.types.double new: language.types.float Thanks! Jeroen

« previous php.mirrors (#6011) next »