Hi

Just a heads up since I have run into this twice in a span of few days.  It probably makes sense from the satsolver perspective but I found it pretty surprising behavior.

https://bugzilla.redhat.com/show_bug.cgi?id=1154202

Rahul