tree b9815ffc6af493f467d0ec820b4f27a6bf78acdd
parent 8a46e12f5f0b02d58b1d7bc6c0d140aeec6c80c2
author Juliusz Chroboczek <jch@pps.jussieu.fr> 1328978885 +0100
committer Paul Jakma <paul@quagga.net> 1332691614 +0100

Remove dead variable reboot_time.

Thanks to Denis Ovsienko.