The only thing that I'm responding to is the first three space-delimited tokens in your post, which was "Prior to 10/7,".
Webster's dictionary defines "mention" as:
> the act or an instance of citing or calling attention to someone or something especially in a casual or incidental manner
So yes, you did mention "10/7".