Josko/aura-bot — pull request #11 by bluebrain- (2013-12-09 08:52:38+00:00)
Title: fixed proposed issue: https://github.com/Josko/aura-bot/issues/10

fixed this issue: https://github.com/Josko/aura-bot/issues/10

taken from: https://github.com/facebook/hhvm/commit/f55604ba3d916ab39354af67852583ec79038710