Update laws #56

Merged
philipp merged 1 commits from update-branch into main 2025-05-11 18:21:06 +02:00
Owner

Automated update of laws.

Automated update of laws.
philipp self-assigned this 2025-05-10 02:17:13 +02:00
philipp added 1 commit 2025-05-10 02:17:13 +02:00
philipp merged commit f03986b1dd into main 2025-05-11 18:21:06 +02:00
philipp deleted branch update-branch 2025-05-11 18:21:06 +02:00
Sign in to join this conversation.
No Reviewers
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: philipp/risp#56
No description provided.