phpbb/phpbb — pull request #2753 by Elsensee (2014-07-17 21:25:12+00:00)
Title: [3.0][ticket/10729] Update editor information when user being deleted

Although the ticket says only "update post editor information" I found some other things that were not properly handled.

https://tracker.phpbb.com/browse/PHPBB3-10729