Hi, On Thu, 2021-07-01 at 17:17 +0200, Mark Wielaard wrote: > We didn't check, or ignored, errors writing to the list_file. Always > produce an error if we cannot write to the list_file. I pushed this and the other cleanups I posted last Thursday to main. Cheers, Mark