thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-09-23 18:20:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #10426 from ClickHouse/no-z3

Browse Source 
Remove accidential dependency on Z3
This commit is contained in:
alexey-milovidov 2020-04-22 08:53:17 +03:00 committed by GitHub
commit 20bf075de0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
contrib/llvm vendored

@ -1 +1 @@
Subproject commit 4bb9d5c58d92baf4f043ee5258bcdfa8ac567545
Subproject commit 3d6c7e916760b395908f28a1c885c8334d4fa98b