AFAICS the penalty would be once (or twice) per heads() call, so nothing dramatic. Did you measure it ?
Otherwise, it's trivial and required, so land it !
« Back to merge proposal
AFAICS the penalty would be once (or twice) per heads() call, so nothing dramatic.
Did you measure it ?
Otherwise, it's trivial and required, so land it !