Hi guys, That's all *very* interesting but unfortunately I'm running out of time. In less than an hour I'll be off for my holidays. I'll be back next Sunday.
Regards, Andreas _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
