[PHP-DEV] Git is back

[Rasmus Lerdorf]

Had a bit of a miscommunication problem with our ops contact for the
box. Shouldn't happen again. Everything should be good now.

-Rasmus

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php