scala/scala — pull request #1772 by gkossakowski (2012-12-14 01:55:10+00:00)
Title: Remove dead code from `Global`.

This is clearly dead-code (`phaseTimings` is not referred
anywhere else in `Global.scala`) and it's safe to remove it since
`phaseTimings` is private.

This dead-code is leftover from 317a1056.

Review by @paulp.