#
#
# patch "basic_io.cc"
#  from [29ba1f17a572a153697b70bc3e5c22904011d2c6]
#    to [16c713cad58a621d6acd778daa7065f94173f8fc]
#
============================================================
--- basic_io.cc	29ba1f17a572a153697b70bc3e5c22904011d2c6
+++ basic_io.cc	16c713cad58a621d6acd778daa7065f94173f8fc
@@ -68,7 +68,12 @@ void basic_io::stanza::push_hex_pair(sym
 
 void basic_io::stanza::push_hex_pair(symbol const & k, hexenc<id> const & v)
 {
-  entries.push_back(make_pair(k, "[" + v() + "]"));
+  entries.push_back(make_pair(k, ""));
+  string const & s(v());
+  entries.back().second.reserve(s.size()+2);
+  entries.back().second.push_back('[');
+  entries.back().second.append(s);
+  entries.back().second.push_back(']');
   if (k().size() > indent)
     indent = k().size();
 }