Automatic update for z3-4.12.0-1.fc38.
* Tue Jan 17 2023 Jerry James <email@example.com> - 4.12.0-1 - Version 4.12.0 - Drop upstreamed -data-race and -uninit patches
sudo dnf upgrade --refresh --advisory=FEDORA-2023-3448ed5139
Please login to add feedback.
This update was automatically created
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi