This should be fixed with the aptdaemon upload. I set it to fix released, please reopen if someone can reproduce it again.
This should be fixed with the aptdaemon upload. I set it to fix released, please reopen if someone can reproduce it again.