On Fri, 12 Aug 2016, Zoltan Somogyi wrote: > For review by anyone who is interested in smart recompilation. More generally, Is anyone actually using smart recompilation? Is it worth maintaining support for it? Julien.