The original bug seems to me to be fixed but there is another issue
which as far as I know affects only:
  https://lists.debian.org/debian-devel-changes/recent
The message is:
 name 'cmp' is not defined

I didn't open a new bug report becauseit is related to "cmp" too but
maybe it is unrelated.

Reply via email to