Philip H c361842f14 patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04 ...

Problem:    Coverity CI: update-alternatives not needed with Ubuntu 20.04.
Solution:   Remove update-alternatives for Lua. (closes #10987)

2022-08-26 15:48:55 +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.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04

2022-08-26 15:48:55 +01:00

CODEOWNERS

Update runtime files

2022-08-08 15:42:38 +01:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

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