Bug#769634: unblock: picosat/960-1 and undertaker/1.6-2

2014-11-21 Thread Michael Tautschnig
On Thu, Nov 20, 2014 at 23:08:23 +, Jonathan Wiltshire wrote: > On Sat, Nov 15, 2014 at 08:23:03AM +, Michael Tautschnig wrote: [...] > > While I am aware that new upstream releases are not desirable at this > > point, I > > would ask to consider this update to picosat nevertheless as the

Bug#769634: unblock: picosat/960-1 and undertaker/1.6-2

2014-11-15 Thread Michael Tautschnig
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: unblock X-Debbugs-CC: siret...@tauware.de Hi, In order to fix #766273 properly, we had to make changes to both picosat and undertaker; the executive summary of #766273 is: undertaker, up to 1.6-1,