Ticket #12420 (closed enhancement: invalid)
sage-banner needs fixing for next version
|Reported by:||ppurka||Owned by:||ppurka|
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.
- Milestone changed from sage-5.0 to sage-duplicate/invalid/wontfix
- Status changed from positive_review to closed
- Resolution set to invalid