Merge branch 'mossop/PR/git-submodules-v3'
commitffdd27c2dacd2a36add82c0cc02189d3e28b9ba3
authorFrej Drejhammar <frej.drejhammar@gmail.com>
Sat, 7 Dec 2019 18:36:31 +0000 (7 19:36 +0100)
committerFrej Drejhammar <frej.drejhammar@gmail.com>
Sat, 7 Dec 2019 18:36:31 +0000 (7 19:36 +0100)
tree7e328db78cc32ed768b8d05e2d75f4a6d8f72027
parent3af916d6641cd0b22c545c1a9f2875e4f275305b
parentab31fdcbaa930105bb784b61cf0af92657f49f8b
Merge branch 'mossop/PR/git-submodules-v3'

Closes #180