highlighting-kate (0.6.4-5build1) eoan; urgency=medium * Rebuild against new GHC abi. -- Gianfranco Costamagna <email address hidden> Thu, 08 Aug 2019 14:52:03 +0200