> On 08.11.2016, at 15:59, Robert Kruck <[email protected]> wrote: > > I would expect all the renamed *.jpi Jenkins plugins to have "Date Modified" > updated to November 2016, but the "Date Modified" for all the renamed *.jpi > Jenkins plugins is June 15, 2016 or earlier.
I just booted up a Windows 8.1 test VM and tried it: Renaming a file does not change the modification date on Windows. -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/628821B9-FDB8-4CDF-B069-08B647AA7301%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
