On Fri, Nov 22, 2013 at 8:52 AM, Aaron Meurer <[email protected]> wrote: > If we move our issues to github, which I do still want to do, then wouldn't > this be pointless since issues and pull requests are basically the same > thing?
Except if you close it, then I think the corresponding issue is close as well. My idea was to have some issue somewhere open, so that people can work on it. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
