> 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.
> 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.