jedp/moz-patches — pull request #1 by ozten (2013-06-13 23:27:57+00:00)
Title: Minor tweak

Howdy,
Minor tweak, but since file names matter, I'll make a pull request.

I'll do more work in 882884-7-sign-in-to-web-desktop over time.