#25255: Modify top.jsp to allow the inclusion of additional stylesheets
 Reporter:  irl              |          Owner:  irl
     Type:  enhancement      |         Status:  needs_review
 Priority:  Medium           |      Milestone:
Component:  Metrics/Website  |        Version:
 Severity:  Normal           |     Resolution:
 Keywords:                   |  Actual Points:
Parent ID:  #23518           |         Points:
 Reviewer:                   |        Sponsor:

Comment (by karsten):

 This looks trivially correct. But do we need to merge it now, or can we
 merge it together with the first servlet/JSP making use of it?

Ticket URL: <https://trac.torproject.org/projects/tor/ticket/25255#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
tor-bugs mailing list

Reply via email to