8017163: minor question regarding the calculation and logging of card set coarsening statistics

[Thomas Schatzl]

Hi,

On 18.05.22 08:11, Tianqi Xia wrote:
> Sure thing, I will take a look.
> 
> Thanks,
> Tianqi

   great, thanks. Do not be surprised that I assigned the CR to myselves 
- just to reserve it for you.

Thanks,
   Thomas