For a sync, no diff is required. -- Please sync eric 4.2.5-1 (universe) from Debian experimental (main) https://bugs.launchpad.net/bugs/324856 You received this bug notification because you are a member of Ubuntu Sponsors for universe, which is a direct subscriber.