<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 8 September 2015 at 15:48, Teodor Sigaev <span
dir="ltr"><<ahref="mailto:teodor@sigaev.ru" target="_blank">teodor@sigaev.ru</a>></span> wrote:<br /><blockquote
class="gmail_quote"style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><blockquote
class="gmail_quote"style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> This looks correct. Barring
objectionI'll apply this shortly.<br /></blockquote><br /></span> +1 Seems correct. Should we backpatch that?<span
class="HOEnZb"><fontcolor="#888888"><br /></font></span></blockquote><br />Yes, this needs correcting in 9.5 where it
hasbeen introduced.<br /></div><br /><div class="gmail_signature">Thom</div></div></div>