o Major bugfixes (directory authority): - Fix a crash bug when building a consensus using an older consensus as its basis. Fixes bug 8833. Bugfix on 0.2.4.12-alpha.