]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #16243 from donaldsharp/ubsan_documentation
authorDonatas Abraitis <donatas@opensourcerouting.org>
Thu, 20 Jun 2024 05:08:30 +0000 (08:08 +0300)
committerGitHub <noreply@github.com>
Thu, 20 Jun 2024 05:08:30 +0000 (08:08 +0300)
doc: Document the usage of --enable-undefined-sanitizer


Trivial merge