[Bug 624865] Review Request: minion - Fast, Scalable Constraint Solving

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


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

--- Comment #7 from Lameire Alexis <alexisis-pristontale at hotmail.com> 2010-08-24 08:12:35 EDT ---
I have just sent a mail to the minion developers, and they answered quite
quickly, as usual:
   https://mail.cs.st-andrews.ac.uk/pipermail/mug/2010-August/000065.html

So I can safely disable the use of nauty since it is not used actually. In this
case, should I clean the sources by removing nauty when making my SRPM?

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.