misc: include label (+ index) in all column headers (#76363) #507

Merged
fpeters merged 1 commits from wip/76363-column-header-names into main 2023-07-17 15:34:52 +02:00
Owner
No description provided.
fpeters force-pushed wip/76363-column-header-names from fa8c2f78a8 to 6a178f51d9 2023-07-16 12:04:58 +02:00 Compare
fpeters changed title from WIP: misc: include label (+ index) in all column headers (#76363) to misc: include label (+ index) in all column headers (#76363) 2023-07-16 12:48:13 +02:00
fpeters changed title from misc: include label (+ index) in all column headers (#76363) to misc: include label (+ index) in all column headers (#76363) 2023-07-16 12:48:18 +02:00
lguerin approved these changes 2023-07-17 09:51:22 +02:00
fpeters merged commit bfc39101f0 into main 2023-07-17 15:34:52 +02:00
fpeters deleted branch wip/76363-column-header-names 2023-07-17 15:34:52 +02:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: entrouvert/wcs#507
No description provided.