z3-4.12.4

4.12.4 release

Changes:

• dce2f3d add release notes
• b3ef74c remove readme for dist
• fc3a765 try to put readme in root
• 2c8d338 add README path to mk_nuget_task
• 8111d87 add README path to mk_nuget_task
• 1fde3e9 update release
• 1d6616a make var-queue a template
• 156426a use / for package path
• 111ce01 update path reference to readme
• d566eb3 include readme in package

See More

• 76c05f1 specify a readme file with the nuget package
• 426d7f5 remove reference to readme in nuget task
• a9513c1 Improve BoolRef addition (#7045)
• 7c81ee0 fix case of README.md in nuget
• 669f665 update release pipeline
• aa2e54c update release pipeline
• 23fcb43 readme
• f5ae8c3 make a readme file
• 9ad4d50 Use built-in importlib.resources on Python 3.9+ (#7042)
• 764f0d5 Overload xor operator for BoolRef (#7043)
• 4d4359f fix shebang syntax issue (#7044)
• 389aea3 update release notes, update version number

This list of changes was auto generated.