ReleaseNotes: LLVM_ENABLE_Z3_SOLVER (PR42921)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_90@368269 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst
index 67da442..7fa6c71 100644 (file)
--- a/docs/ReleaseNotes.rst
+++ b/docs/ReleaseNotes.rst
@@ -52,6 +52,10 @@ Non-comprehensive list of changes in this release
 * **llvm-objcopy/llvm-strip** got support for COFF object files/executables,
   supporting the most common copying/stripping options.
 
+* The CMake parameter ``CLANG_ANALYZER_ENABLE_Z3_SOLVER`` has been replaced by
+  ``LLVM_ENABLE_Z3_SOLVER``.
+
+
 .. NOTE
    If you would like to document a larger change, then you can add a
    subsection about it right here. You can copy the following boilerplate