Skip to content

Conversation

@bugdea1er
Copy link
Owner

@bugdea1er bugdea1er commented Oct 3, 2024

  • To keep public headers clean
  • To provide a more convinient entry constructor from a pair

@bugdea1er bugdea1er marked this pull request as ready for review October 3, 2024 12:14
@bugdea1er bugdea1er merged commit b088821 into main Oct 3, 2024
@bugdea1er bugdea1er deleted the directory-private-constructor branch October 3, 2024 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants