Summary of changes: a999e3c... Update to 3.15.92 (*) 83c7924... Use license macro for the COPYING file (*) 132eddf... Add a patch to adapt to gnome-terminal desktop file rename (*) (*) This commit already existed in another branch; no separate mail sent