> On 3 Jun 2026, at 13:10, cca5507 <[email protected]> wrote: > Attach a simple patch for $subject. I think we prefer streaming IO instead of > ReadBufferExtended(). Do I miss something?
Thanks! This code was written well before read streams existed, and recent work was focused on correctness of operation, that's the main reason it's using ReadBufferExtended still. We probably want do something like this once the tree opens up after the v19 feature freeze. -- Daniel Gustafsson
