> On 3 Jun 2026, at 13:10, cca5507 <cca5507(at)qq(dot)com> 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