Summary of changes: 5f5a5b2... rebuild for xulrunner 13 (*) d323d5d... Merge branch 'f17' into f16 (*) (*) This commit already existed in another branch; no separate mail sent