[jbosstools-dev] Provider name for JBoss Guvnor Tools Plug-in

[John Graham]

It should be JBoss, a division of Red Hat. That change has been make in
the Drools 5 code base, and we'll pick it up with the next Drools 5
milestone.

-- John

On Tue, 2009-03-03 at 16:36 +0200, Anton Klimkovich wrote:
> Should JBoss Guvnor Tools Plug-in have JBoss.org Provider name or it
> it should have JBoss, a Division of Red Hat?
> 
>   
>