On 09/10/2018 03:58, Sean Whitton wrote:
OK, the workaround is to deinstall debian-policy, upgrade libjs-sphinxdoc, reinstall debian-policy, so I can wait.This will get fixed when we do another upload -- I am not at a machine where I can do that right now, so marking as pending.
-- Francois Mescam
