[m-rev.] for post-commit review: move cache ops to make.deps_cache.m ...

[Zoltan Somogyi]

On 2023-10-13 22:03 +11:00 AEDT, "Julien Fischer" <jfischer at opturion.com> wrote:
>> Given this fact, and that the new machinery, which has been
>> in operation since oct 4, has not had any reported failures,
>> would anyone object if I deleted the old machinery over
>> the weekend?
> 
> No, go ahead -- I haven't encountered any problems with the new
> machinery.

I have deleted the old machinery.

Zoltan.