Update git submodules
* Update magnum-specs from branch 'master' - Merge "Change flag name" - Change flag name As discussed during the team meeting, the verb "merge" describes the proposed functionality more accurately than "override". Therefore, this patch changes the proposed flag from --override-labels to --merge-labels. Change-Id: I17654786a20778ed4772a4098f1edde89130a8a2
This commit is contained in:
parent
0d5eaa8d53
commit
384598ebbc
|
@ -1 +1 @@
|
|||
Subproject commit 42c6bbab1b3ae0e9e15bdf1813c17fe3ce5b991f
|
||||
Subproject commit dbc3dbe5bd550deb3cf945bbf746b0368cab4b36
|
Loading…
Reference in New Issue