| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
| |
Add licensing and copyright information for all files in this repository. This
either happens in the file itself as a comment header or in the file
`.reuse/dep5`.
This commit also adds a Github workflow to check pull requests and adapts
copyright.pl to the changes.
Closes #8869
|
|
|
|
| |
Closes #8900
|
|
|
|
|
|
|
|
| |
... to avoid errors when the function isn't there.
Reported-by: Marcel Raad
Fixes #8627
Closes #8628
|
| |
|
|
Add test 1940 to 1946 to verify.
Closes #8593
|