RE: [lwip-users] small change in tcp/ip initialization

[Goldschmidt Simon]

> Don't forget that the majority of ports are going to be 
> archived soon as there are no maintainers for them.

So change it or leave it? Using an old port on a new version seems good
to me, if it works, so that would tell me to leave it the way it is. On
the other hand, I'm thinking about it the way Thomas does. If we don't
need the callback, why stick to it? It's only leaving something away and
not implementing something new, after all.

Simon