Is it safe with Elgg 1.7 to delete user accounts?

I read that it was not safe to delete user accounts with earlier versions of Elgg. It was advised to ban accounts instead. A user asked me to delete his account and I'm unsure if it's safe now - currently my site is running on 1.7.3.