Comment 15 for bug 721896

Oh, I will, of course, have an eye on dpkg and related processes once this happens again. So far, it has not happened for 3 or 4 days on my machine (knock on wood), but I also rebooted twice recently, due to the kernel updates.