At Wed, 20 Jan 2010 15:50:46 -0500, David Abrahams wrote: > Vitaly, is this in a tagged release, or somewhere else? This is in semi-1_14. I'm planning to commit one more patch and bump version. -- wbr, Vitaly