Commit 2025-04-23 11:03 8514782c
View on Github →chore: delete >6 month old deprecations (2024-10 11-21) (#24271) The first commit was done automatically using #21271's method, with the regex
@\[deprecated.*\(since := "2024-10-([01].|2[01])"\)\][\s\n]?(protected )?alias [_a-zA-Zα-ωΑ-Ωϊ-ϻἀ-῾℀-⅏𝒜-𝖟'.₀₁₂₃₄₅₆₇₈₉]* :=[\s\n]+[_a-zA-Zα-ωΑ-Ωϊ-ϻἀ-῾℀-⅏𝒜-𝖟'.₀₁₂₃₄₅₆₇₈₉]*\n\n?
The remaining commits are manual removals of empty sections and missed deprecations (2024-10-([01].|2[01])
).