Merge "Log multiple IPs using the same session or the same user account"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Feb 2016 00:35:12 +0000 (00:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Feb 2016 00:35:12 +0000 (00:35 +0000)
1  2 
includes/DefaultSettings.php
includes/session/SessionManager.php
tests/phpunit/includes/session/SessionManagerTest.php

Simple merge
Simple merge