]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #10529 from Jafaral/doc-fix-order
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Tue, 8 Feb 2022 19:03:19 +0000 (21:03 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Feb 2022 19:03:19 +0000 (21:03 +0200)
doc: the dev tag should come after the new version commit step


Trivial merge