#15864: Graph.is_distance_regular is awfully wrong
-------------------------+-------------------------------------------------
       Reporter:         |        Owner:
  ncohen                 |       Status:  needs_review
           Type:         |    Milestone:  sage-6.2
  defect                 |   Resolution:
       Priority:  major  |    Merged in:
      Component:  graph  |    Reviewers:
  theory                 |  Work issues:  fix the mess with commits
       Keywords:         |       Commit:
        Authors:         |  faffd868037a80a5ad04a5a7cf260f13da4a0e35
  Nathann Cohen          |     Stopgaps:
Report Upstream:  N/A    |
         Branch:         |
  u/ncohen/15864         |
   Dependencies:         |
-------------------------+-------------------------------------------------
Changes (by ncohen):

 * status:  needs_work => needs_review


Comment:

 Ahahahah. Well, I don't think that the dev scripts are based on the commit
 messages, but I fixed that, just in case `:-P`

 I think that the dev script is mostly worried over the fact that I rewrote
 history. That's why you should probably find a way to delete that branch
 from your local repository again before running your checkout command.

 By the way, how is it going in Oxford ? Do you finally have an office and
 everything ?

 Cheers from Brussels,

 Nathann
 ----
 New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=faffd868037a80a5ad04a5a7cf260f13da4a0e35
 faffd86]||{{{trac #15864: consistency between code and doc, and None in bi
 and ci}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/15864#comment:31>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" 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/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to