Skip to content

buffer: Ignore already invalidated buffers in Shared()#4133

Open
JoeKar wants to merge 1 commit into
micro-editor:masterfrom
JoeKar:fix/4131
Open

buffer: Ignore already invalidated buffers in Shared()#4133
JoeKar wants to merge 1 commit into
micro-editor:masterfrom
JoeKar:fix/4131

Commits

Commits on Jun 29, 2026