Skip to content

adding insteadOf #2

Merged
merged 1 commit into from
Jul 23, 2026
Merged

adding insteadOf #2

merged 1 commit into from
Jul 23, 2026

Conversation

arnol377
Copy link
Contributor

No description provided.

Copy link
Collaborator

@morga471 morga471 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@morga471 morga471 merged commit d0980d1 into CSVD:main Jul 23, 2026
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
2 participants