[tor-commits] [rbm/master] Bug 24931: fix the build_log_append option