tree 7c034f299625a5f609ef28d16d709878580df5be
parent 7d5b2f82cea8b1ba127eaca15685937cf0b935d7
author Jamie Gennis <jgennis@google.com> 1411614428 -0700
committer Colin Cross <ccross@google.com> 1422049306 -0800

Fix a bug that allowed duplicate module names.

Change-Id: I9317e43ac435a26397557328036c11a8a2da7480