<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 21, 2013 at 8:11 AM, Edward Kmett <span dir="ltr"><<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div>I'd like to hash this out a bit further. As this issue affects <font face="courier new, monospace">vector</font> primarily, it is outside of the scope of the core library committee per se, and is largely up to Roman as the maintainer of <font face="courier new, monospace">vector</font>.</div>

</div><div></div></blockquote></div><br>Remember that Roman has fairly explicitly resigned as the maintainer of vector for want of time, so someone else needs to take up the crusade here.</div></div>