Re: [trinity-devel] Updating local GIT repository with switch_all_submodules_to_head_and_clean script