laravel/framework — pull request #4997 by bworwa (2014-07-09 13:40:21+00:00)
Title: Update Guard.php

Fix for #4985.

If a user gets deleted from database while he's logged in his session data will remain.

While he won't be able to do anything, since `$user = null` and `check()` will deal with it, if a new user is created (with the same id [and attributes]), he will get logged in automatically.