<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The "single" patch also touches a lot more than needed AFAICT, and it'd<br>
be great if upstream would point out which patch exactly is needed.</blockquote><div dir="auto"><br></div><div dir="auto">Sounds good. I'll reach out to upstream and try to identify the specific patch. Will follow up here.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote></div><div dir="ltr">-- <br></div><div data-smartmail="gmail_signature">Harlan Lieberman-Berg<br>~hlieberman</div>