Okay then, applied as trunk 12750.
For the record: We have managed to test everything short of the timing
change about when unpin() is performed. The effects of leaving the
server connection pinned for a few milliseconds longer now than before
is unknown - but probably not too bad.
Amos
Received on Thu Apr 04 2013 - 06:18:40 MDT
This archive was generated by hypermail 2.2.0 : Thu Apr 04 2013 - 12:00:12 MDT