PR #5361 Remove extra mentions of gap shim

Remove extra mentions of gap shim #5361

devongovett merged 2 commits into main from remove_shim_mentions

Remove extra mentions of gap shim

deba2157

snowystinger approved these changes on 2023-11-03

Merge branch 'main' into remove_shim_mentions

0d820703

devongovett approved these changes on 2023-11-03

devongovett merged 6bc8bc72 into main 2 years ago

devongovett deleted the remove_shim_mentions branch 2 years ago

Reviewers

devongovett

snowystinger

Assignees

No one assigned

Labels

None yet

Milestone

No milestone