chore(npins): Update #39

Merged
thubrecht merged 1 commit from npins-update into main 2024-02-06 20:56:32 +01:00
Collaborator

Automatic npins update

Automatic npins update
dgnum-chores force-pushed npins-update from 80cd6d125e to e0498a5302 2024-02-03 15:27:21 +01:00 Compare
dgnum-chores force-pushed npins-update from e0498a5302 to e51b7f012b 2024-02-04 15:27:03 +01:00 Compare
dgnum-chores force-pushed npins-update from e51b7f012b to 92fbf75191 2024-02-05 15:27:05 +01:00 Compare
dgnum-chores force-pushed npins-update from 92fbf75191 to a1fb0bebc4 2024-02-06 15:27:23 +01:00 Compare
thubrecht force-pushed npins-update from a1fb0bebc4 to 08577a7f66 2024-02-06 20:47:03 +01:00 Compare
thubrecht merged commit 08577a7f66 into main 2024-02-06 20:56:32 +01:00
thubrecht deleted branch npins-update 2024-02-06 20:56:32 +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#39
No description provided.