tree 64614c1503064a651adab766ea37c912bc4e4bc9
parent 21e24f99ecc28b0ce371e18c2a50d43dd0787fad
author Davide Pesavento <davidepesa@gmail.com> 1736634340 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1736636664 -0500
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQA6fRhldAVjRNnwLhWIw2jbJCawqZdU6bn4RJiNWlF9duE0KVNSgibvYmucd6qOHxB
 Xu9jZiEQ5CmZzHJFDkVwY=
 -----END SSH SIGNATURE-----

rib: turn RibUpdate into an aggregate

And move it together with RibUpdateList and RibUpdateBatch.
Also remove a few unused functions from RibEntry.

Change-Id: Id4f79fda27d3bffb8411e2a95c24154e2cb80c4f