Tim van der Meij 4269148d3d

Upgrade Node.js to version 16 in the CI workflow ...

Version 14 that we used before is now in maintenance mode, so we should
upgrade to the most recent LTS version.

Moreover, use the most recent `setup-node` workflow version and syntax;
see https://github.com/actions/setup-node#usage.

2021-12-11 15:50:23 +01:00

..

workflows

Upgrade Node.js to version 16 in the CI workflow

2021-12-11 15:50:23 +01:00

CONTRIBUTING.md

Update links from IRC to Matrix.

2020-02-27 16:26:17 -08:00

ISSUE_TEMPLATE.md

Attempt to clarify the meaning of "extension" in the ISSUE_TEMPLATE

2017-10-21 11:32:03 +02:00