Also, is there any need for DefaultSessionContainer::remove_session() to throw? It can (trivially) meet its post condition.
« Back to merge proposal
Also, is there any need for DefaultSessionC ontainer: :remove_ session( ) to throw? It can (trivially) meet its post condition.