Commit 2025-02-01 09:03 fb51fb69
View on Github →chore: delete declarations deprecated between 2024-01 and 2024-07 (#21271)
The first commit was done by replacing all matches of @\[deprecated.*\(since := "2024-0[1-7]-.."\)\][\s\n]?(protected )?alias [_a-zA-Zα-ωΑ-Ωϊ-ϻἀ-῾℀-⅏𝒜-𝖟'.₀₁₂₃₄₅₆₇₈₉]* :=[\s\n]+[_a-zA-Zα-ωΑ-Ωϊ-ϻἀ-῾℀-⅏𝒜-𝖟'.₀₁₂₃₄₅₆₇₈₉]*\n\n? with nothing. The second commit was done manually.