diff options
| author | David Lamparter <equinox@opensourcerouting.org> | 2023-04-14 17:17:27 +0200 |
|---|---|---|
| committer | Mergify <37929162+mergify[bot]@users.noreply.github.com> | 2024-05-09 13:54:46 +0000 |
| commit | 37d5dc445d37df94e6a92495658ce9fffaaa3b76 (patch) | |
| tree | cd6912c814ce5eaf503e2a6adc745400f4793c81 /python/firstheader.py | |
| parent | fb66adb6807690e14f6afe01611f24d76f751234 (diff) | |
pimd: fix dr-priority range
0 is a valid DR priority.
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
(cherry picked from commit b564c1d890aef75067db22df09e608faf72b99f5)
Diffstat (limited to 'python/firstheader.py')
0 files changed, 0 insertions, 0 deletions