Le 15/11/2015 20:47, Phil Steitz a écrit :
> Seems that is what it is.  We don't seem to have immediate need for
> the more general interface, but if we ever do, we will want to have
> the name available.

You are right, we could change it.
Would you mind doing it, I am quite busy with ODE right now
as you have probably noticed.

best regards,
Luc

> 
> Phil
> 
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org
> For additional commands, e-mail: dev-h...@commons.apache.org
> 
> 


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org
For additional commands, e-mail: dev-h...@commons.apache.org

Reply via email to