Marshalling/unmarshalling costs

Tomeu Vizoso tomeu at
Tue May 20 04:45:17 EDT 2008

On Tue, May 20, 2008 at 10:42 AM, Marco Pesenti Gritti
<mpgritti at> wrote:
> and
> Hard to say what we profiled exactly now though :)

Right, I would prefer if new profiles were made, so we walk on solid ground.


More information about the Devel mailing list