Philip H 7268e53996 patch 9.0.1562: mixing package managers is not a good idea ...

Problem:    Mixing package managers is not a good idea.
Solution:   Install gcc 13 with apt-get. (closes #12405)

2023-05-16 20:11:02 +01:00

..

ISSUE_TEMPLATE

patch 8.2.3827: huntr badge does not really fit in the list

2021-12-16 16:14:11 +00:00

workflows

patch 9.0.1562: mixing package managers is not a good idea

2023-05-16 20:11:02 +01:00

CODEOWNERS

Update runtime files

2023-05-14 18:50:25 +01:00

dependabot.yml

patch 9.0.0573: outdated dependencies go unnoticed

2022-09-24 14:35:21 +01:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

2019-05-23 20:42:10 +02:00