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