Status of #1822 (minor, low priority)

#1822 merged Jun 15 but it isn’t in 2020.0.1 (though it is in the master as of today, and it’s in the commercial 2021.1 release). See pbs_cgroups.PY for “corelist = sorted(cores)”, line 3777 (pre-1822 and 2020.0.1) vs line 4407 (master, now) vs line 3835 (pro 2021.1). 2020.0.1 does have #1938 and #1939 from July, what happened to #1822 from June?