diff --git a/doc/versioning/submod_versioning.md b/doc/versioning/submod_versioning.md index 4b7e98e..ab80ab4 100644 --- a/doc/versioning/submod_versioning.md +++ b/doc/versioning/submod_versioning.md @@ -545,7 +545,7 @@ If new entries appear in .gitmodules with the pull, they will not be processed a the sequence of pull and "submodule update". - +(changing-a-submodule-branch)= #### Changing a Submodule Branch This scenario describes the change of a submodule to another existing