bug#29226: fresh-auto-compile doesn’t invalidate the compilation cache

[Ludovic Courtès]

ludovic.cour...@inria.fr (Ludovic Courtès) skribis:

> I believe the attached patch fixes it.

Pushed as 83d4c4d622b406ec0bc9d8139ec8182fa72b5720.

Ludo’.