Temporary repository for merging into the official quagga repository.