o Minor bugfixes (build): - Add the old src/or/micro-revision.i filename to CLEANFILES. On the off chance that somebody has one, it will go away as soon as they run "make clean". Fix for bug 7143; bugfix on 0.2.4.1-alpha.