Squashed 'extern/module1/' content from commit 89a6ffb

git-subtree-dir: extern/module1
git-subtree-split: 89a6ffbcfd94d63a0a6dfab400b81ce27a5d449e
Merge commit 'd135d4651c6085a1b130a49491e727e53f1ba5cd' as 'extern/module1'