[PATCH] D134261: Fix Z3 version detection regexp

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho added a comment.

In D134261#3806590 <https://reviews.llvm.org/D134261#3806590>, @stilriv wrote:

> Thank you!
> Could you commit it for me please?

sure, what's the name and email you want to be associated with the commit? Otherwise, I can add a "Patch by: stilriv (Mikhail Korolev)" to the commit message.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134261