Summary of changes: f7e3012... Device IDs for Samsung ML-2250/2510, Xerox Phaser 3117/3120 (*) 5bd0761... Merge branch 'f17' into f18 (*) 95ad006... Merge branch 'f18' (*) This commit already existed in another branch; no separate mail sent