Thanks for confirming this.
This should be fixed now with the latest apt-index-watcher upload. Please reopen if you experience the problem again.
Cheers, Michael
Thanks for confirming this.
This should be fixed now with the latest apt-index-watcher upload. Please reopen if you experience the problem again.
Cheers,
Michael