Repository navigation

Fix sync data overwritten by remote OCFile - #18048

Draft

daniele-verducci wants to merge 2 commits into

fix/sync-flag-reset

Draft

Fix sync data overwritten by remote OCFile#18048
daniele-verducci wants to merge 2 commits into
masterfrom
fix/sync-flag-reset

Commits on Nov 13, 2026
- Fix sync data overwritten by remote OCFile
  daniele-verducci
  committed
  8c77ebc
- Fix sync data overwritten by remote OCFile also in Shared section
  daniele-verducci
  committed
  a4ce43a