mirror of
https://github.com/buckit-io/buckit.git
synced 2026-10-03 12:10:52 +00:00
4886bfbc72
This PR fixes another situation where a crash occurs thanks to @krishnasrinivas for reproducing this Fixes #5897