Snippets Groups Projects

add RankNTypes or Rank2Types

See:

One is needed; we need to decide which.

Edited 5 years ago

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

Child items 0

No child items are currently assigned. Use child items to break down this issue into smaller parts.

Activity

ijones changed weight to 5 19 years ago

changed weight to 5
ijones added Trac import + 1 deleted label 19 years ago

added Trac import + 1 deleted label
ijones assigned to @trac-none and unassigned @trac-ijones 19 years ago

assigned to @trac-none and unassigned @trac-ijones
ravi@bluespec.com assigned to @trac-ravi and unassigned @trac-none 19 years ago

assigned to @trac-ravi and unassigned @trac-none
Ross Paterson changed the description 19 years ago

changed the description
Ross Paterson @RossPaterson · 19 years ago

Reporter
Ross Paterson changed the description 19 years ago

changed the description
Ross Paterson @RossPaterson · 19 years ago

Reporter
Herbert Valerio Riedel changed milestone to %⊥ 9 years ago

changed milestone to %⊥
Herbert Valerio Riedel @hvr · 9 years ago

Owner

moving non-milestoned many year old legacy tickets out of the way
Herbert Valerio Riedel @hvr · 9 years ago

Owner

Set default priority (as this confuses Trac otherwise)
trac-import added enhancement modification labels and removed modification label 9 years ago

added enhancement modification labels and removed modification label
Herbert Valerio Riedel @hvr · 9 years ago

Owner

remove owners from legacy tickets

Please register or sign in to reply

Epic

None

Labels

None

Milestone

None

Iteration

None

Weight

None

Due date

None

Health status

None

Confidentiality

Confidentiality controls have moved to the issue actions menu () at the top of the page.

0 Participants