David Loeffler <[email protected]> writes: > The grey circle is because the patches now on the ticket aren't the > same ones that patchbot ran its tests with (note the word "mismatch" > in red on the patchbot page).
Unfortunately it looks like the patch was updated a mere 11 minutes after I posted this thread, so you can't see exactly what I saw. The circle was grey before the patch was updated, and "(mismatch)" did not appear on the patchbot's page for the ticket. -Keshav ---- Join us in #sagemath on irc.freenode.net ! -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
