phpbb/phpbb — pull request #2258 by Elsensee (2014-04-06 21:25:54+00:00)
Title: [ticket/12360] Fix duplicated creation of session when logging out the user

http://tracker.phpbb.com/browse/PHPBB3-12360