Summary of changes: 5bef83d... update to 20121111 (*) 1377bf1... add missing BR (*) 69734d0... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent