merge: resolve conflict from Nicolas_local_ops into master

This commit is contained in:
Nicolas 2025-07-24 18:20:41 +08:00
commit 6373a82351