Summary of changes: 257aff8... update to 2.3.1 (*) b3400f9... add desktop file for the GUI (*) 0f9ba46... fix version in changelog (*) (*) This commit already existed in another branch; no separate mail sent