yoshihiro503/ocamltter — pull request #1 by camlspotter (2012-10-03 09:58:39+00:00)
Title: fixed duped name entry

Hi! I fixed a bug!
Jun