I guess that if Georg adds his vote, there is no need to wait for Jose approval because then, the patch would be backed up by three different developpers.
I can not back up this patch since I do not have time to read it. I can, however, testify that when I examined the metrics stuff to fix some crashes, the need for this separation was obvious. I think this patch will make our road to 1.5.0 less bumpy. Bo
