mirror of
https://gitlab.torproject.org/tpo/core/tor.git
synced 2024-12-06 19:41:15 +01:00
ddf5020ea8
We were leaving doc/config.log and src/or/micro-revision.i in place during a make clean. Fix that.