Skip to content

Dropped old polyfill code#1843

Merged
christianlupus merged 2 commits intomasterfrom
maintenance/remove-dead-search-code
Oct 12, 2023
Merged

Dropped old polyfill code#1843
christianlupus merged 2 commits intomasterfrom
maintenance/remove-dead-search-code

Commits

Commits on Oct 12, 2023