Re: [basex-talk] Setting modification timestamp (for content migrated over WebDAV) over REST?