FYI just noticed that the debian-user archives have not been updated since
10 August.

Reply via email to