Skip to content

Conversation

@siantonelli
Copy link

No description provided.

@paulbrodersen
Copy link
Owner

Hi, thanks for the PR. I think it good idea. Would you mind making the PR against the dev branch? I have been working on a new release on the dev branch for a while, so merging from master into dev isn't as straightforward as it should be. Also, it would be great if you could documentation, i.e. describe the argument in the doc string.

@siantonelli
Copy link
Author

Yes, sure. I create a new PR and then close this one.

@siantonelli siantonelli closed this by deleting the head repository Aug 10, 2024
@siantonelli
Copy link
Author

Closed in favor of #97.

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