RELEASED: Public: 2014-06-04
Using the Credentials plugin for the WebDAV store. Existing usernames and passwords will be migrated automatically to new credentials when you first run 3.13; if you roll back the update you will need to reënter credentials manually.
Do not back up “gate” repositories from the Validated Merge plugin when the job configuration subject is selected.
Trying to let a backup be cleanly interrupted.