On Wed, Nov 28, 2012 at 11:52 PM, Bruno P. Kinoshita
<[email protected]> wrote:
> Maybe we could prepend the plugin groupId+artifactId, or similar mechanism?

shortName is the usual unique identifier for a plugin, and more
SQL-friendly too.

Reply via email to