Skip to content

Conversation

@jessegeens
Copy link
Contributor

Fix for #5387

@update-docs
Copy link

update-docs bot commented Nov 28, 2025

Thanks for opening this pull request! The maintainers of this repository would appreciate it if you would create a changelog item based on your changes.

@jessegeens jessegeens marked this pull request as ready for review November 28, 2025 14:31
@diocas diocas merged commit 479d182 into master Nov 28, 2025
14 checks passed
@diocas diocas deleted the fix/nilptr-addgrant branch November 28, 2025 14:58
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