On 27 July 2013 13:39, [email protected] <[email protected]> wrote: > Great Patches, thank you ! > I use Arch as well and Python3 is also my default!
No problem. Arch is awesome and so is python3! Hopefully the patches can be merged into the mainline (provided they don't break anything). Would someone with commit access like to try the patches and commit them? Thanks, Dan. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
