The command /ban does not kick the banned player anymore (/ban-ip still does), which used to be the case in 1.12.2. Only when the player leaves the server they are not able to join it again.