diff options
Diffstat (limited to 'server/changes/feature_4918_use-temporary-directory-for-server-side-locks')
-rw-r--r-- | server/changes/feature_4918_use-temporary-directory-for-server-side-locks | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/server/changes/feature_4918_use-temporary-directory-for-server-side-locks b/server/changes/feature_4918_use-temporary-directory-for-server-side-locks deleted file mode 100644 index d8c5ba8e..00000000 --- a/server/changes/feature_4918_use-temporary-directory-for-server-side-locks +++ /dev/null @@ -1 +0,0 @@ - o Use a temporary directory for server side locks (#4918). |