Skip to content

fix: public access to DirectorySourceOptions#607

Merged
sunng87 merged 1 commit into
masterfrom
fix/dir-source-option
Sep 20, 2023
Merged

fix: public access to DirectorySourceOptions#607
sunng87 merged 1 commit into
masterfrom
fix/dir-source-option

Conversation

@sunng87

@sunng87 sunng87 commented Sep 20, 2023

Copy link
Copy Markdown
Owner

No description provided.

@sunng87 sunng87 linked an issue Sep 20, 2023 that may be closed by this pull request
@coveralls

Copy link
Copy Markdown

Coverage Status

coverage: 81.112% (+0.09%) from 81.021% when pulling 97e282b on fix/dir-source-option into 2330725 on master.

@sunng87 sunng87 merged commit 35fe7c7 into master Sep 20, 2023
@sunng87 sunng87 deleted the fix/dir-source-option branch September 20, 2023 04:01
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.

DirectorySourceOptions members are not pub

2 participants