We aim at providing timing code as well, but given the title of this bug, I guess the bug is now fixed.
We aim at providing timing code as well, but given the title of this bug, I guess the bug is now fixed.