Summary of changes: dad48a3... Fix bug#1010479 comment 10 (*) cd13d59... Applied upstream patch for launching ase-gui without termin (*) 7333a95... patch file added (*) 1b09eba... spaces -> tabs (*) (*) This commit already existed in another branch; no separate mail sent