From: Igor Ryzhov Date: Fri, 9 Jul 2021 16:19:13 +0000 (+0300) Subject: Merge pull request #9010 from opensourcerouting/ospf-misc X-Git-Tag: base_8.1~337 X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=cf420d4b4857fc20d37d46d3653874092c6e54e8;p=mirror%2Ffrr.git Merge pull request #9010 from opensourcerouting/ospf-misc doc,lib,ospfd,ospf6d: trivial improvements --- cf420d4b4857fc20d37d46d3653874092c6e54e8