Skip to content
This repository was archived by the owner on May 17, 2024. It is now read-only.

issue 758 #759

Merged
merged 1 commit into from
Oct 30, 2023
Merged

issue 758 #759

merged 1 commit into from
Oct 30, 2023

Conversation

dlawin
Copy link
Contributor

@dlawin dlawin commented Oct 30, 2023

resolves #758
@dlawin dlawin self-assigned this Oct 30, 2023
@dlawin dlawin requested a review from nolar October 30, 2023 15:19
@dlawin dlawin merged commit ff51131 into master Oct 30, 2023
@dlawin dlawin deleted the issue_758 branch October 30, 2023 20:11
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

1 participant

@dlawin