heycam/webidl — pull request #20 by heycam (2014-09-24 11:24:48+00:00)
Title: Add Boris to Editors list.

@bzbarsky please merge if this is acceptable.