[PATCH] D134261: Fix Z3 version detection regexp

[Mikhail Korolev via Phabricator via llvm-commits]

stilriv added a comment.

side note: I'd like to make one more change to this file a bit later to improve UX in cross builds -- will you be available for review?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134261