Update laws #38

Merged
philipp merged 1 commits from update-branch into main 2024-10-17 20:00:43 +02:00
Owner

Automated update of laws.

Automated update of laws.
philipp self-assigned this 2024-10-17 19:58:40 +02:00
philipp added 1 commit 2024-10-17 19:58:40 +02:00
philipp merged commit 1406030e9d into main 2024-10-17 20:00:43 +02:00
philipp deleted branch update-branch 2024-10-17 20:00:43 +02:00
Sign in to join this conversation.
No Reviewers
No Milestone
No project
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: philipp/risp#38
No description provided.