mozilla/servo — pull request #2471 by bjz (2014-05-21 22:44:07+00:00)
Title: Replace usages of SplitBoxResult with option types

@pcwalton r?