mozilla/rust — pull request #8772 by thestinger (2013-08-26 22:06:01+00:00)
Title: option: rm implementation of Add

Closes #6002

This is the consensus reached in the discussion on the bug.