]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #2649 from LabNConsulting/working/5.0/add_version_type_dev_check
authorMartin Winter <mwinter@opensourcerouting.org>
Wed, 18 Jul 2018 19:01:44 +0000 (20:01 +0100)
committerGitHub <noreply@github.com>
Wed, 18 Jul 2018 19:01:44 +0000 (20:01 +0100)
5.0: Simplify deprecation check


Trivial merge