From ffa8de78ee5609d36588dcd2d89dab460850740f Mon Sep 17 00:00:00 2001 From: Erik Johnston Date: Thu, 13 Jul 2023 14:56:09 +0100 Subject: [PATCH] Newsfile --- changelog.d/15933.misc | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelog.d/15933.misc diff --git a/changelog.d/15933.misc b/changelog.d/15933.misc new file mode 100644 index 000000000000..8457994c68da --- /dev/null +++ b/changelog.d/15933.misc @@ -0,0 +1 @@ +Fix bug with read/write lock implementation. This is currently unused so has no observable effects.