Ticket #12420 (closed enhancement: invalid)

Opened 16 months ago

Last modified 15 months ago

sage-banner needs fixing for next version

Reported by: ppurka Owned by: ppurka
Priority: trivial Milestone: sage-duplicate/invalid/wontfix
Component: scripts Keywords:
Cc: Work issues:
Report Upstream: N/A Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description

Running sage-4.8 shows the banner as sage-4.7.2.

One option is to furtively change the tarball on the website with the correct banner file :)

The other option is to make the jump to 5.0 when the time comes.

Change History

comment:1 Changed 15 months ago by ppurka

  • Milestone changed from sage-5.0 to sage-duplicate/invalid/wontfix

i think this is a frivolous ticket. I downloaded another sage-4.8 some other time and it shows up the version correctly. Not sure how the first download turned out to have the wrong banner.

comment:2 Changed 15 months ago by ppurka

  • Status changed from new to needs_review

comment:3 Changed 15 months ago by ppurka

  • Status changed from needs_review to positive_review

comment:4 Changed 15 months ago by ppurka

  • Owner changed from leif to ppurka

comment:5 Changed 15 months ago by jdemeyer

  • Status changed from positive_review to closed
  • Resolution set to invalid

Are you sure the problem was with the banner? I guess that you simply ran a different version of Sage on your computer, or somehow mixed up different Sage versions on your machine.

comment:6 Changed 15 months ago by ppurka

Yes. I had double checked. Not sure what really happened and I am not really interested in digging into something that seems fixed on another machine.

Thanks for closing the ticket.

Note: See TracTickets for help on using tickets.