I was about to tag these as a pool, but someone put them all in a new pool. Should we leave it, or put it with pool #7504, since this is a continuation?

shadowe_wolfe said:

I was about to tag these as a pool, but someone put them all in a new pool. Should we leave it, or put it with pool #7504, since this is a continuation?

I'd be fine putting them in the original pool if that was the intention. No problems there.