Merge branch 'pin_hashes' of https://github.com/teisenbe/toolchains
tree: a02094bdc23cbad3a5b1959fc687ebcbac3bf3af
  1. patches/
  2. .gitignore
  3. cleanit
  4. doit
  5. env.bash
  6. toolvers
  7. updatetoolvers