chore(npins): Update #32

Merged
thubrecht merged 1 commit from npins-update into main 2024-01-22 22:09:46 +01:00
Collaborator

Automatic npins update

Automatic npins update
thubrecht force-pushed npins-update from 8f178e2492 to d4e8f522e2 2024-01-22 22:08:00 +01:00 Compare
thubrecht merged commit d4e8f522e2 into main 2024-01-22 22:09:46 +01:00
thubrecht deleted branch npins-update 2024-01-22 22:09:46 +01:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: DGNum/infrastructure#32
No description provided.