x42-plugins (20140115-3) unstable; urgency=low * Removed extra optimisation. -- Jaromír Mikeš <email address hidden> Thu, 06 Feb 2014 14:21:21 +0100