Unable to delete user after transferring post ownership

bug
1

Bug found in Ability to merge users:

After transferring the ownership of all account posts, I am unable to delete the user due to posts created.

Additionally the created posts are not listed anywhere so trying to find them after an ownership transfer is difficult.

2

Already exists
https://meta.discourse.org/t/deleting-an-old-user-after-re-assigning-their-one-post/25536

3

Apologies. I obviously didn’t search hard enough.