
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=koi8-r">

<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><br>

</p>

<div style="color: rgb(33, 33, 33);">

<div>

<div dir="ltr">

<div class="gmail_extra">

<div class="gmail_quote"><span style="font-size: 12pt;">>I didn't read the entire patch yet, but why did you use <list>? It is a doubly-linked list and slower than the vector, so you don't >want to use it unless you really want doubly-linked lists.</span>

</div>

<div class="gmail_quote"><span style="font-size: 12pt;"><br>

</span></div>

<div class="gmail_quote"><span style="font-size: 12pt;">Please look at my comment about this at review page, it is a workaround for compiler bug. No difference with list here in plan of speed because 99% of time this container has single element.</span></div>

<div class="gmail_quote"><span style="font-size: 12pt;"><br>

</span></div>

<div class="gmail_quote"><span style="font-size: 12pt;">George.</span></div>

</div>

</div>

</div>

</div>

</body>

</html>