mozilla/rust — pull request #13076 by FlaPer87 (2014-03-22 14:50:18+00:00)
Title: Remove freeze and close #12577

This PR removes the `Freeze` kind and the `NoFreeze` marker completely.