Skip to content

batch fixes for 187, 188, 189, 190#192

Merged
fdncred merged 2 commits into
mainfrom
batch_fix_issues_20260518
May 18, 2026
Merged

batch fixes for 187, 188, 189, 190#192
fdncred merged 2 commits into
mainfrom
batch_fix_issues_20260518

Conversation

@fdncred
Copy link
Copy Markdown
Contributor

@fdncred fdncred commented May 18, 2026

Description of changes

Another round of batch fixes

Relevant Issues

closes #187
closes #188
closes #189
closes #190

@fdncred fdncred merged commit 2b47417 into main May 18, 2026
5 checks passed
@fdncred fdncred deleted the batch_fix_issues_20260518 branch May 18, 2026 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant