[bristol/f12/master] (7 commits) ...Merge branch 'f13' into f12

[Jon Ciesla]

Summary of changes:

  3b305ff... Initial import. (*)
  1948399... Initialize branch F-13 for bristol (*)
  1b8ba86... dist-git conversion (*)
  e7129ac... dist-git conversion (*)
  04bb657... Security fix. (*)
  5232c7f... Merge branch 'f14' into f13 (*)
  a30c3ec... Merge branch 'f13' into f12

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