Merge pull request #802 from pcercuei/address-sanitizer
authornotaz <notasas@gmail.com>
Sun, 19 Nov 2023 22:42:16 +0000 (00:42 +0200)
committerGitHub <noreply@github.com>
Sun, 19 Nov 2023 22:42:16 +0000 (00:42 +0200)
commitcfb8cb8553d47739bc54adbdf58b60acab53b1be
tree5de8aca851e171ba3fa1b58db8a0fa0035c96ebc
parentd12f66835edbe7d7f1401afb9678e9d25f860d49
parentf5e8322e4a9bd5e5789fd81827552f2095725f59
Merge pull request #802 from pcercuei/address-sanitizer

Address sanitizer