День России стал двойным праздником для жителей столицы Мордовии: по многолетней традиции 12 июня здесь отмечается и День города. — Российская газета.