(sorry about comment #2, it was due to a sync script bug now fixed) -- please sync padre 0.36-3 from Debian sid main https://bugs.launchpad.net/bugs/396273 You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is a direct subscriber.