facebook/hiphop-php — pull request #1142 by javer (2013-10-08 10:50:07+00:00)
Title: Fix gmdate timezone

Fixes https://github.com/facebook/hiphop-php/issues/1139