> Do we need the seed data that has been recently removed by Si Chen in  
> rev. 657925 now?

Jacopo, 

I think this commit is ok and we don't need this data.
Thanks for pointing out.

Reply via email to