ezsystems/ezpublish-kernel — pull request #922 by bchoquet-heliopsis (2014-07-10 10:20:57+00:00)
Title: Fix EZP-23137 : delete ezuser_setting entry when deleting user

See https://jira.ez.no/browse/EZP-23137 for a little bit more detailed bug description.

I don't know if or where it should be tested, but I guess an upgrade script will be needed to fix inconsistencies.