Opened 12 years ago

Last modified 2 years ago

#60 new enhancement

add RankNTypes or Rank2Types

Reported by: ijones Owned by:
Priority: normal Milestone:
Version: Keywords:
Cc: Meta Owner:
State: discussion Section: N/A or multiple
Related Tickets:

Description (last modified by ross@…)

See:

One is needed; we need to decide which.

Change History (10)

comment:1 Changed 12 years ago by ijones

Owner: changed from ijones to none

comment:2 Changed 12 years ago by ravi@…

Owner: changed from none to ravi@…

comment:3 Changed 12 years ago by ross@…

Description: modified (diff)

comment:4 Changed 12 years ago by ross@…

adopt: maybeprobably yes
Description: modified (diff)

comment:5 Changed 12 years ago by ross@…

impact: normallarge

comment:6 Changed 12 years ago by john@…

topic: RankNTypes

comment:7 Changed 12 years ago by ijones

topic: RankNTypesType Quantification

comment:8 Changed 2 years ago by Herbert Valerio Riedel

Milestone:

moving non-milestoned many year old legacy tickets out of the way

comment:9 Changed 2 years ago by Herbert Valerio Riedel

Priority: majornormal

Set default priority (as this confuses Trac otherwise)

comment:10 Changed 2 years ago by Herbert Valerio Riedel

Owner: ravi@… deleted

remove owners from legacy tickets

Note: See TracTickets for help on using tickets.