> Patrick maybe you had an interesting use case in mind?
I had one, but later on I found out that I don't necessarily use flush to
achieve that so it's not really a valid use case that definitely need
flush...
On Tue, Apr 25, 2023 at 7:26 PM Ishan Chattopadhyaya <
ichattopadhy...@gmail.com>
NOTICE:
Branch branch_9_6 has been cut and versions updated to 9.7 on stable branch.
Please observe the normal rules:
* No new features may be committed to the branch.
* Documentation patches, build patches and serious bug fixes may be
committed to the branch. However, you should submit all
