servo/servo — pull request #3938 by guillaumebort (2014-11-07 20:29:05+00:00)
Title: Fix #3933

Implement HTMLOptionElement.{label,value}