Summary of changes: 75a0336... Corrected many Device IDs (bug #659039, #659040). (*) a0517a0... Merge branch 'f13' into f14 (*) This commit already existed in another branch; no separate mail sent