@ bryan-murray,
I looked for file dates in /var/lib/apt/lists/ to confirm your suspicion, and I think you are right. See the attached file.
There was no increase in drive space used after the second night compared to after the first night, so I am convinced that the bug-fix works :-)
@ bryan-murray,
I looked for file dates in /var/lib/apt/lists/ to confirm your suspicion, and I think you are right. See the attached file.
There was no increase in drive space used after the second night compared to after the first night, so I am convinced that the bug-fix works :-)