Summary of changes: 833fd40... Rebuilt to fix ID tags (bug #818278). (*) 90fce7b... 3.12.6 (*) cc5cbe5... Merge branch 'f16' into f17 (*) be34c68... Merge branch 'f17' (*) This commit already existed in another branch; no separate mail sent