Enable syncIfNeeded when resource management is disabled (needed for …#243

Closed

liu15 wants to merge 1 commit intodevelopfrom syncNoRm

-4

Commits on Jan 25, 2024

Enable syncIfNeeded when resource management is disabled (needed for single-memory-space mode)
liu15
committed