Snapshot : 7941

$date->set('00:00:00', Zend_Date::TIMES);

this line produces the folowing errors :

Notice: Undefined offset: -1 in U:\dev\Zend\ZendFramework-20080212-7941\library\Zend\Date.php on line 1337

Notice: Undefined offset: -1 in U:\dev\Zend\ZendFramework-20080212-7941\library\Zend\Date.php on line 1340

    preg_match('/(\w{3,30})/', $zone, $match);
    try {
        $oldzone = $this->getTimezone();
        $result = $this->setTimezone($match[count($match) - 1]);  <<<<<<<<<<< 1337
        $this->setTimezone($oldzone);
        if ($result !== $oldzone) {
            return $match[count($match) - 1];   <<<<<<<<<<<<<<<<<<<<< 1340
        }
    } catch (Exception $e) {
        // fall through
    }

PS : in snapshot 7668 : no problem.