« Changelog History


green v2.14.2 Release Notes

Release Date: 2019-04-04 // about 5 years ago

  • 4 Apr 2019

    • ➕ Add an .encoding attribute to the wrapped sys.stdout so that things like z3 which expect it to be present don't crash. Resolves #203.