Merge pull request #1537 from ethomson/merge_warning_cleanup puns are not funny; type punning especially so
2013-05-02T13:01:44