[PATCH] D134261: Fix Z3 version detection regexp

Mikhail Korolev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 21 11:41:06 PDT 2022 

stilriv added a comment.

Thank you!
Could you commit it for me please?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D134261

More information about the llvm-commits mailing list