In article <Pine.NEB.4.64.1612191239120.9397%speedy.whooppee.com@localhost>, Paul Goyette <paul%whooppee.com@localhost> wrote: >Per discussion on irc, shouldn't the default remain as-is, and a new >option be used to "honor" server-provided timestamps for unchanged >files? Done. christos