o Minor features (git scripts): - In git-pull-all.sh, also fetch the latest tor-github pull requests. Implements ticket 30114.
