Summary of changes: 1148dbe... Fix Release tag (this is a post-stable-release) (*) 63772d9... Merge branch 'master' into f25 (*) This commit already existed in another branch; no separate mail sent