0.23.5

This release fixes a problem with resumed sessions.

• Bugfix : Stale connections no longer kill their session if another connection resumed the session.
• Change : The server config file is no longer installed by make install.