Hi, First of all happy birthday, and a big thank you for your continued work maintaining the Eigen packages. I also appreciate a lot that you guys are very proactive in joining upsteam communication channels and offering input in discussions. Sooner or later I'm going to switch full time to using debian since you're the most serious distro :-) Thanks, Benoit -- This is message was sent to you from http://thanks.debian.net