scala/scala — pull request #3465 by pavelpavlov (2014-02-05 08:10:48+00:00)
Title: PR #3233 cleanup

- `::.head` became a `val`; excessive accessor removed
- SerializationProxy moved to `object List`