konsole (4:4.14.3-g20141101-0ubuntu1~ubuntu14.04~ppa160613) trusty; urgency=medium * drop CPU-specific optimisation -- RJVB <email address hidden> Mon, 13 Jun 2016 12:29:49 +0200