dolphin-emu/dolphin — pull request #1234 by Stevoisiak (2014-10-07 23:50:34+00:00)
Title: Rename m_names to m_banner_names

m_names refers specifically to names taken from banners