mozilla/browserid — pull request #3875 by pdehaan (2013-09-10 21:30:07+00:00)
Title: adding copyright header

Fixes #3874