Re: [boost] Migrating svn.boost.org

On Jun 6, 2013, at 6:38 AM, Paul A. Bristow wrote:

Thanks - no harm done.

But can I delete the spam ticket?

I think I deleted them all. -- Marshall