]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #12998 from opensourcerouting/clippy-python-init-api
authorMark Stapp <mjs.ietf@gmail.com>
Wed, 15 Mar 2023 15:33:35 +0000 (11:33 -0400)
committerGitHub <noreply@github.com>
Wed, 15 Mar 2023 15:33:35 +0000 (11:33 -0400)
lib: adapt clippy to Python 3.8+ init API


Trivial merge