tree aa5278e9b4b64b16e6e98657423d3e5884069546
parent 9d491024ac51adf6f48fb656692f337ebed5f323
author Junxiao Shi <git@mail1.yoursunny.com> 1561459832 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1561459832 +0000

rib: consolidate RibManager::FaceIdSet into Rib

refs #4731

Change-Id: Ic78f44e8a504ebf1490dfc1ee4f0fe6cbc7135d0