[mozilla-https-everywhere/f20] (4 commits) ...Fix appManaged.patch to account for the duplicated Firefox comment

Sat Sep 13 16:52:41 UTC 2014

Summary of changes:

  32b0804... update sources to upstream 4.0.1 (*)
  ef6354c... Update spec to upstream 4.0.1 (*)
  d6ee7a3... Fix incorrect date from January 2013 (*)
  0c8b6a7... Fix appManaged.patch to account for the duplicated Firefox  (*)

(*) This commit already existed in another branch; no separate mail sent