[Merged by Bors] - chore: unify date formatting in lemma deprecations#12334
Closed
grunweg wants to merge 6 commits intomasterfrom MR-deprecated-lemma-date-format
Commits
Commits on Apr 22, 2024
- committed
- committed
- committed
- committed
- committed
- committed
