Summary of changes: 57c9f0a... late addition to 1.2.7.a3 - Bug 644608 - RHDS 8.1->8.2 upgr (*) 92e640a... Merge branch 'f13' into f12 (*) This commit already existed in another branch; no separate mail sent