https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87706
--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #5) > (In reply to Martin Liška from comment #4) > > Assigning to Honza after we discussed that. > > So, this is kind of off-topic, but I've been wondering for a while, so: How > exactly did Honza get the "Honza" nickname, anyways? I don't see how either > "Jan" or "Hubicka" would easily transform to "Honza"... https://en.wikipedia.org/wiki/Honza
