]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #14210 from FRRouting/mergify/bp/stable/9.0/pr-14184
authorDonatas Abraitis <donatas@opensourcerouting.org>
Wed, 16 Aug 2023 07:27:35 +0000 (10:27 +0300)
committerGitHub <noreply@github.com>
Wed, 16 Aug 2023 07:27:35 +0000 (10:27 +0300)
lib: Allow unsetting walltime-warning and cpu-warning (backport #14184)


Trivial merge