chore(npins): Update #136

Merged
thubrecht merged 1 commit from npins-update-fixed into main 2024-10-06 22:27:21 +02:00
Owner
No description provided.
thubrecht force-pushed npins-update-fixed from ce98a6d8fd to e4fc6a0d98 2024-10-06 22:21:14 +02:00 Compare
thubrecht merged commit e4fc6a0d98 into main 2024-10-06 22:27:21 +02:00
thubrecht deleted branch npins-update-fixed 2024-10-06 22:27:21 +02: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#136
No description provided.