Merge upstream changes and fix DependencyControl feed#4
Open
seproDev wants to merge 19 commits intoTypesettingTools:masterfrom seproDev:cleanup
+194-183
Commits
Commits on Aug 22, 2020
Commits on Nov 22, 2021
Commits on Nov 24, 2021
Commits on Apr 24, 2022
Commits on Apr 25, 2022
Commits on Jul 12, 2022
- committed
- committed
- committed
- committed
Commits on Feb 24, 2023
- committed