Squashed 'bin/' changes from 9b16437..bec7d6a

bec7d6a Force-remove tag temporarily

git-subtree-dir: bin
git-subtree-split: bec7d6abe9ae79c2f24bdd08eed264bab7581a6a
Another update to svn-push