Гавриленков

Гавриленков, Иван Игнатьевич

генерал-майор, род. 24 сент. 1789 г., † 1834 года 3 февраля (надгробная надпись на Ново-Охтенском кладбище).

Русский биографический словарь в 25-ти т. - Изд. под наблюдением председателя Императорского Русского Исторического Общества А. А. Половцева. - Санкт-Петербург: Тип. И. Н. Скороходова, 1896-1918.