Skip to content

External-PHP loader ownership is acquired but never released — a discarded buffer serves phantom text after did_close - #367

Merged
mikebronner merged 8 commits into
mainfrom
fix/365-external-php-loader-ownership-is-acquired-but-neve
Aug 29, 2026
Merged

External-PHP loader ownership is acquired but never released — a discarded buffer serves phantom text after did_close#367
mikebronner merged 8 commits into
mainfrom
fix/365-external-php-loader-ownership-is-acquired-but-neve

fix: 🐛 re-queue the deferred indexes when a close hands the text back

d9363c9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar