Commit 22315e4
authored
This PR updates the `common` git submodule to the latest `dev` tip
requested in the issue. The repository now points `common` from
`fb98ec58...` to `0b219bac...`, with no other tree changes.
- **Submodule pointer update**
- Moved submodule gitlink at `common`:
- `fb98ec58b36af556fed6de41480b783c8ee3df53` →
`0b219baca3bdc00a610de9a9d5d70aad40e0bcfb`
- Kept `.gitmodules` unchanged.
- **Scope control**
- Change is limited to a single gitlink diff (`Subproject commit` line
only).
- `common` remains a submodule (mode `160000`), not checked-in directory
contents.
```diff
diff --git a/common b/common
index fb98ec5..0b219ba 160000
--- a/common
+++ b/common
@@ -1 +1 @@
-Subproject commit fb98ec58b36af556fed6de41480b783c8ee3df53
+Subproject commit 0b219baca3bdc00a610de9a9d5d70aad40e0bcfb
```
Fixes AB#3667378
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
1 parent 6c13eea commit 22315e4
1 file changed
Lines changed: 1 addition & 1 deletion
0 commit comments