Skip to content
This repository has been archived by the owner on Oct 24, 2024. It is now read-only.

Dev #115

Merged
merged 2 commits into from
Aug 24, 2024
Merged

Dev #115

merged 2 commits into from
Aug 24, 2024

Conversation

sda030
Copy link
Member

@sda030 sda030 commented Aug 24, 2024

@sda030 sda030 merged commit ca05cb1 into main Aug 24, 2024
9 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Bug: global_settings_*et does not properly handle <- NULL
1 participant