Summary of changes: a679557... - apply upstream patch to fix regression in dolphin - drop (*) a5d8da2... Merge branch 'f18' into f17 (*) This commit already existed in another branch; no separate mail sent