[dev] Final Request for Review

https://github.com/FRRouting/frr/pull/1272 This PR is now 17 days old without anyone reviewing it. I will auto push this in on Thur Oct 19 in the absence of comments. thanks! donald