Summary of changes: c492c36... Add Device ID for Xerox Phaser 3124 (#867392). (*) 22e3edd... Merge branch 'f17' into f18 (*) (*) This commit already existed in another branch; no separate mail sent