diff --git a/.git_markup b/.git_markup index 2bbf8d0d5a7d..af78ae8cf596 100644 --- a/.git_markup +++ b/.git_markup @@ -1 +1 @@ -MPTCP-related modifications needed for public CIs. +MPTCP-related modifications only needed for the -net tree.