summaryrefslogtreecommitdiff
path: root/proto/rpki/rpki.c
diff options
context:
space:
mode:
authorOndrej Zajicek (work) <santiago@crfreenet.org>2017-10-13 19:34:34 +0200
committerOndrej Zajicek (work) <santiago@crfreenet.org>2017-12-07 13:53:42 +0100
commit38f4721092f5a835248f9f521d34990ec9883dbd (patch)
tree8abc57ca498f9bbc5eb0467d896fc8bc2b0e8a7a /proto/rpki/rpki.c
parent5ee69d11f2e859b77ff04bb4068f43082fd1794f (diff)
Babel: Avoid batch seqno updates
Diffstat (limited to 'proto/rpki/rpki.c')
0 files changed, 0 insertions, 0 deletions