I would run it by them just in case they missed it back then.
Would be the neighborly thing to do since our interests are somewhat related.