#20830: Add 'make' advisory re: pathname capitalization
-------------------------------------------------+-------------------------
       Reporter:  paulmasson                     |        Owner:
           Type:  defect                         |       Status:
                                                 |  needs_info
       Priority:  minor                          |    Milestone:  sage-7.3
      Component:  documentation                  |   Resolution:
       Keywords:                                 |    Merged in:
        Authors:  Paul Masson                    |    Reviewers:  Matthias
                                                 |  Koeppe
Report Upstream:  N/A                            |  Work issues:
         Branch:                                 |       Commit:
  u/paulmasson/add_make_advisory_re__pathname_capitalization|
   Dependencies:                                 |     Stopgaps:
-------------------------------------------------+-------------------------

Comment (by paulmasson):

 More likely something I did. I was having trouble building my local branch
 so I deleted it, created a new branch named '20830' and did a `git trac
 pull 20830` into it. After making changes I just did `git trac push`
 hoping that would be that but something went wrong.

 Since all of the commits are there is it possible for you to get them into
 the proper branch?

 Or if it's simpler for you, close this ticket and I'll create a new one.

--
Ticket URL: <https://trac.sagemath.org/ticket/20830#comment:9>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to