Use record as Access.A
type instead of a quintuple
#7709
The logs for this run have expired and are no longer available.
Loading
Access.A
type instead of a quintuple
#7709