Add submodule updates to the release script.#75

Merged

roccomoretti merged 3 commits intomasterfrom roccomoretti/submodule_release

Dec 3, 2018

+19-12

Commits on Nov 4, 2018

Add submodule updates to the release script.
roccomoretti
committed

Commits on Nov 5, 2018

Need to remove the .git directories from submodules, too.
roccomoretti
committed

Commits on Nov 23, 2018

Merge with recent master
roccomoretti
committed