RT Shredder Bug

Just played a little bit with the Request Tracker shredder that is new in Version 3.8 and found a bug. I want to delete a user but the shredder also deleted an ticket. Lets see what the developer say to that.