make mention of

Short definition from Wiktionary

Verb

To briefly refer to something; to mention.

We haven’t written up make mention of yet: Simple and Standard meanings, examples and a quiz.