Merge branch 'main' into depMore

This commit is contained in:
Erik Krogh Kristensen
2022-03-14 11:49:18 +01:00
committed by GitHub
439 changed files with 3843 additions and 2451 deletions

View File

@@ -0,0 +1,5 @@
---
category: deprecated
---
* Many classes/predicates/modules that had upper-case acronyms have been renamed to follow our style-guide.
The old name still exists as a deprecated alias.