3.15.2 - November 24, 2014
==========================

* The highlighter can now be turned off with a preference (Andrei Ghincu)
* XDG_CURRENT_DESKTOP may contain a list of desktops (Robert Ancell)
* Updated translations

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.