Version 2020 R13 Fixes

There are no new bug fixes in this release.