https://bugzilla.redhat.com/show_bug.cgi?id=1264485 Robert-André Mauchin <zebob.m(a)gmail.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |1718600 CC| |loganjerry(a)gmail.com --- Comment #11 from Robert-André Mauchin <zebob.m(a)gmail.com&gt; --- *** Bug 1718597 has been marked as a duplicate of this bug. *** Referenced Bugs: https://bugzilla.redhat.com/show_bug.cgi?id=1718600 [Bug 1718600] Review Request: drat2er - Proof transformer for propositional logic -- 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