darioteixeira/pgocaml — pull request #8 by mfp (2014-06-11 09:54:37+00:00)
Title: Fix op timing when PGPROFILING in use.

PGPROFILING did not work correctly within thread monads different from the identity.