[llvm-branch-commits] [llvm-branch] r368269 - ReleaseNotes: LLVM_ENABLE_Z3_SOLVER (PR42921)

[Hans Wennborg via llvm-branch-commits]

Author: hans
Date: Thu Aug  8 01:52:26 2019
New Revision: 368269

URL: http://llvm.org/viewvc/llvm-project?rev=368269&view=rev
Log:
ReleaseNotes: LLVM_ENABLE_Z3_SOLVER (PR42921)

Modified:
    llvm/branches/release_90/docs/ReleaseNotes.rst

Modified: llvm/branches/release_90/docs/ReleaseNotes.rst
URL: http://llvm.org/viewvc/llvm-project/llvm/branches/release_90/docs/ReleaseNotes.rst?rev=368269&r1=368268&r2=368269&view=diff
==============================================================================
--- llvm/branches/release_90/docs/ReleaseNotes.rst (original)
+++ llvm/branches/release_90/docs/ReleaseNotes.rst Thu Aug  8 01:52:26 2019
@@ -52,6 +52,10 @@ Non-comprehensive list of changes in thi
 * **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