Please note that this mail was generated by a script. The described changes are computed based on the x86_64 DVD. The full online repo contains too many changes to be listed here. Please check the known defects of this snapshot before upgrading: https://openqa.opensuse.org/tests/overview?distri=opensuse&groupid=1&version=Tumbleweed&build=20210131 Please do not reply to this email to report issues, rather file a bug on bugzilla.opensuse.org. For more information on filing bugs please see https://en.opensuse.org/openSUSE:Submitting_bug_reports Packages changed: z3 (4.8.9 -> 4.8.10) === Details === ==== z3 ==== Version update (4.8.9 -> 4.8.10) - update to 4.8.10: - rewritten arithmetic solver replacing legacy arithmetic solver and on by default