Skip to content

Conversation

@pritkc
Copy link
Collaborator

@pritkc pritkc commented Feb 19, 2025

A quick-fix corresponding to issue #75

@pritkc pritkc requested a review from valeriabarra February 19, 2025 21:10
@pritkc pritkc self-assigned this Feb 19, 2025
@pritkc pritkc closed this Feb 19, 2025
@valeriabarra
Copy link
Collaborator

Hi @pritkc , Thank you for catching this. Did you close the PR by accident?

@pritkc
Copy link
Collaborator Author

pritkc commented Feb 19, 2025

Hi @pritkc , Thank you for catching this. Did you close the PR by accident?

Hi, thank you for noticing it. I temporarily took it down to test the new modifications after realizing I had overlooked a few pointer references.

@valeriabarra
Copy link
Collaborator

Ah, ok, you can always convert it to Draft in that case. It will block any undesired attempt to merge.

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.

3 participants