mruby/mruby — pull request #1233 by bovi (2013-05-03 06:10:50+00:00)
Title: [mrbgems] Identify GEM duplications

We have to expect that in the future, when mruby contains a gem dependency system, it is likely that the same gem might be added via such a dependency. This pull request can identify these kind of duplicates and avoids to add them to the build process.