make mention of
idiomDefinition of make mention of
: to talk about, write about, or refer to (something or someone) especially in a brief way : to mention
She made mention of their contributions.