Bump z3 from 0.20.0 to 0.20.2#42

dependabot[bot] wants to merge 1 commit into

masterradareorg/r2sleigh:masterfrom

dependabot/cargo/z3-0.20.2radareorg/r2sleigh:dependabot/cargo/z3-0.20.2Copy head branch name to clipboard