remove_user


Description:

public void remove_user (User user)