Closed dansuh17 closed 1 month ago
First time trying to submit via github - am I supposed merge this myself or should I let the maintainers to submit this?
@Mergifyio refresh
refresh
First time trying to submit via github - am I supposed merge this myself or should I let the maintainers to submit this?
It should auto merge. One of the CI checks failed due to not having a BUG in the description. I added one and refreshed it, so it should go through now.
Prevents program crash due to null pointer dereference.
BUG=none