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

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho added a subscriber: stilriv.
mikhail.ramalho added a comment.

Sorry, I just saw this patch...

Part of it was just merged in D134261 <https://reviews.llvm.org/D134261>.

May I ask you to rebase?

@stilriv is this related to what you plan next?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132441