avoid modifying a placeholder (virtual files) when not needed#6212

Merged

mgallien merged 3 commits intomasterfrom bugfix/doNotModifyUploadedVirtualFiles

Dec 6, 2023

+144-92

Commits on Dec 6, 2023

fix include order from most specific to less specific
mgallien
committed
avoid modifying a placeholder (virtual files) when not needed
mgallien
committed
extend log to get information about mtime modifications by the client
mgallien
committed