<div dir="ltr"><div>Hi<br><br>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. <br><br><a href="https://bugzilla.redhat.com/show_bug.cgi?id=1154202">https://bugzilla.redhat.com/show_bug.cgi?id=1154202</a><br></div><div><br></div>Rahul<br></div>