Skip to content

Updating to node20 as requested by github deprecation notice#177

Merged
hendrikmuhs merged 1 commit intohendrikmuhs:mainfrom behrisch:mainJan 25, 2024