tree 175c986de70da9ccb9e88ec137a2577713653d42
parent 359be3d0e4db5c931b1ad0dabbac2dea77394de1
author Juliusz Chroboczek <jch@pps.jussieu.fr> 1328962080 +0100
committer Paul Jakma <paul@quagga.net> 1332691614 +0100

Resynchronise with babeld-1.3.1.