https://bugzilla.redhat.com/show_bug.cgi?id=1206826
Fedora Update System <updates(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|MODIFIED |ON_QA
--- Comment #14 from Fedora Update System <updates(a)fedoraproject.org> ---
z3-4.3.2-3.20150329git.29606b5.fc22 has been pushed to the Fedora 22 testing
repository.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component