> Before committing this, I think we need to come to a consensus as to > whether this difference in behaviour is in fact significant.
Its not documented and its not what was intended, plus it makes the
system a bit smaller. So i say go for it.
However you might want to swap mailling lists and try ecos-discuss
first. (Does anybody have statistics for how many subscribers there
are per mailling list?)
Andrew
