Squashed 'external/' content from commit b73edbe

git-subtree-dir: external
git-subtree-split: b73edbe4feb5a55c6e016e7ac555b3ea1029ff72
Merge commit '02e8c6d17eaeaea426ba81339c96e0eaf890a150' as 'external'
Adds file in subtree