]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge commit 'remotes/jocke/delete_ghost_route'
authorPaul Jakma <paul.jakma@sun.com>
Wed, 3 Sep 2008 08:00:44 +0000 (09:00 +0100)
committerPaul Jakma <paul@quagga.net>
Wed, 3 Sep 2008 08:00:44 +0000 (09:00 +0100)

Trivial merge