[jenkins] 01/01: Rename jffi groupId to new location of com.github.jnr

[Emmanuel Bourg]

Le 04/03/2015 12:25, Tim Potter a écrit :
> This is an automated email from the git hooks/post-receive script.
> 
> tpot-guest pushed a commit to branch master
> in repository jenkins.
> 
> commit 981ffefd9c8fd574fee568d49d4a3e4a96b4fef5
> Author: Tim Potter <tpot at hp.com>
> Date:   Wed Mar 4 22:06:20 2015 +1100
> 
>     Rename jffi groupId to new location of com.github.jnr

Tim, could this be done with a substitution rule in debian/maven.rules
instead of a patch?

Emmanuel Bourg