<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p>><span style="color: rgb(33, 33, 33); font-size: 12pt;">Because I don't have any plans to actually work on that in the near/immediate future - so this would be dead code.</span></p>
<div style="color: rgb(33, 33, 33);">
<div>
<div dir="ltr">
<div class="gmail_quote">
<div>><br>
>I wouldn't submit this for that use case unless someone has an immediate use for it - which I don't.<br>
><br>
>If/when I do need it, if it hasn't been added for other needs like lld, I can resurrect this review thread, etc.<br>
</div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#ffffff; font-family:Calibri,Arial,Helvetica,sans-serif">
<div style="color:rgb(33,33,33)">
<div>
<div dir="ltr">
<div class="gmail_quote">
<div>Ah, ok. I thought you had some plans for near future.<br>
</div>
<div>Latest diff od patch for LLD that needed this does not depend on this patch anymore. (uses already implemented<br>
</div>
<div>non-streaming interface).<br>
</div>
<div><br>
</div>
<div>So if nothing changes here in next days, Ill probably abandon it then.<br>
</div>
<div><br>
</div>
<div>George.<br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>