"Informal Semantics of Pattern Matching", is a bit vague on matching record patterns.

should we delete this page: RecordPatternMatching?

changed weight to 5

added Trac import + 1 deleted label

changed the description

changed milestone to %⊥

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

Set default priority (as this confuses Trac otherwise)

added defect label and removed 1 deleted label

remove owners from legacy tickets