https://bugzilla.redhat.com/show_bug.cgi?id=1055393
Jerry James <loganjerry(a)gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
CC| |loganjerry(a)gmail.com
Assignee|nobody(a)fedoraproject.org |loganjerry(a)gmail.com
Flags| |fedora-review?
--- Comment #1 from Jerry James <loganjerry(a)gmail.com> ---
I will take this review. Can you review cvc4 for me (bug 1029227)? It's kind
of a big hairy package, so I'll review a couple of yours in exchange, starting
with this one. If it is too big and hairy for you, let me know and I'll hunt
down another victim, er, volunteer.
--
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