Update laws #40

Merged
philipp merged 1 commits from update-branch into main 2024-10-30 08:03:16 +01:00
Owner

Automated update of laws.

Automated update of laws.
philipp self-assigned this 2024-10-29 00:01:45 +01:00
philipp added 1 commit 2024-10-29 00:01:46 +01:00
philipp merged commit e10144b0dd into main 2024-10-30 08:03:16 +01:00
philipp deleted branch update-branch 2024-10-30 08:03:16 +01: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#40
No description provided.