Does bulk user deletion also permanently delete?

Hi, I just fell over the endpoint for deleting many users

• DELETE /api/v2/users/destroy_many

This is quite usefull for me, but I am wondering whether this endpoint permanently deletes users, or if I after calling this endpoint also need to call the endpoint for permanently deleting users, for every single user I just deleted via the endpoint?

Best regards