]> git.sesse.net Git - pistorm/commitdiff
Merge pull request #21 from beeanyew/wip-crap
authorbeeanyew <beeanyew@gmail.com>
Thu, 22 Apr 2021 02:30:11 +0000 (04:30 +0200)
committerGitHub <noreply@github.com>
Thu, 22 Apr 2021 02:30:11 +0000 (04:30 +0200)
Fix Z3 Fast autoconf on Kickstart 2.0


Trivial merge