[PATCH] D134261: Fix Z3 version detection regexp

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho accepted this revision.
mikhail.ramalho added a comment.
This revision is now accepted and ready to land.

LGTM.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134261