On Sun, Aug 05, 2018 at 05:51:36AM +0200, Thomas Lange wrote: > >In the long run we may be able to read the git logs and have the >accurate information of the 'last modification'. Currently that does >not seem to be possible, because the build already takes too long.
That's actually one of the bits of information we can get quite cheaply. Happy to play with it... -- Steve McIntyre, Cambridge, UK. st...@einval.com "You can't barbecue lettuce!" -- Ellie Crane