[PATCH] D132441: Fix FindZ3.cmake's version detection mechanism

[Zhang via Phabricator via llvm-commits]

Naville added a comment.

Ping @steakhal is there any issue with my clarification?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D132441/new/

https://reviews.llvm.org/D132441