[Coin-ipopt] Ipopt Mailing list was not working since Dec 26

[Andreas Waechter]

Hello,

So, yes, there was something wrong with the settings of the mailing list. 
The last message that got through was from Dec 26.  It seems that all 
postings sent to coin-ipopt at list.coin-or.org after that date were 
automatically discarded.

(I had started to wonder whether all Ipopt bugs had been fixed and the 
documentation had miraculously become cristal clear... well, guess not ;)

If you sent any posting after Dec 26, please resend it.

I'm really sorry for this inconvenience!

Andreas