chore(npins): Update #24

Merged

thubrecht merged 1 commit from npins-update into main

2024-01-09 09:07:28 +01:00

Author	SHA1	Message	Date
DGNum Chores	5fa86473cc	chore(npins): Update All checks were successful build configuration / build_compute01 (pull_request) Successful in 1m14s Details build configuration / build_storage01 (pull_request) Successful in 46s Details build configuration / build_web01 (pull_request) Successful in 1m3s Details build configuration / build_storage01 (push) Successful in 50s Details build configuration / build_web01 (push) Successful in 57s Details build configuration / build_compute01 (push) Successful in 1m11s Details	2024-01-09 08:47:11 +01:00