Slurm version: 20.02.3.1

Release date: May 21, 2020