Bug#705452: easy to workaround

2013-04-21 Thread Stuart Prescott
Hi Holger, While a workaround is nice to have, I don't know that just documenting this and then hoping that people will actually read the release notes (they don't!) is really the best solution. I assume we would all agree that documenting a hack and hoping people find the documentation is vast

Bug#705452: easy to workaround

2013-04-21 Thread Holger Levsen
reassign 705452 release-notes # though maybe better: reassign 705452 xml-core thanks Hi, this problem is rather easy to workaround, this is the code now run on jenkins.debian.net after changing sources.lists from squeeze to wheezy: apt-get update +# workaround #705452 +(dpkg -l xml-core && apt