Summary of changes: 10255b3... improves strip script (remove jsmin task ref) (*) 35a8908... upstream 2.5.0 (*) b403e91... remove more mentions of non-free stuff (*) 04c001d... Merge branch 'master' into f19 (*) This commit already existed in another branch; no separate mail sent