chiark / gitweb /
Change the file timestamp in 'resolved --reset' (bug #10017)