PR #2261 rfctr: rename pre chunk

rfctr: rename pre chunk #2261

scanny merged 1 commit into main from scanny/rename-pre-chunk

Base automatically changed from scanny/chunking-skips-checkbox to main 2 years ago

scanny force pushed from 10763fe8 to 40f510c7 2 years ago

scanny force pushed from 40f510c7 to da8ade38 2 years ago

rfctr: rename section -> pre-chunk throughout

6fd38338

scanny force pushed from da8ade38 to 6fd38338 2 years ago

scanny marked this pull request as ready for review 2 years ago

scanny requested a review from

christinestraub 2 years ago

christinestraub approved these changes on 2023-12-13

scanny merged cbeaed21 into main 2 years ago

scanny deleted the scanny/rename-pre-chunk branch 2 years ago

Reviewers

christinestraub

Assignees

No one assigned

Labels

None yet

Milestone

No milestone