On Sat, 13 Jun 2020 21:07:37 +0200
richard lucassen via Dng <dng@???> wrote:

> No, maybe it has got something to do with these "big disk" messages.
> Wouldn't it be an idea to copy a part of that dist to a "not such a
> big disk" and see what happens?

s/dist/disk/


--
richard lucassen
http://contact.xaq.nl/