Stefan Banach in names-generator

Signed-off-by: Tomasz Nurkiewicz <nurkiewicz@gmail.com>
Fix names-generator comment about name generation

Signed-off-by: Ankush Agarwal <ankushagarwal11@gmail.com>
Merge pull request #9816 from ankushagarwal/names-generator-comment-correction

Fix names-generator comment about name generation
Merge pull request #9813 from nurkiewicz/banach

Stefan Banach in names-generator