Hi Christoph,
Sorry for the inconvenience caused.
Due to some technical problem, we are not able to include the fix in the weekly NuGet release which is rolled out on May 19,2020.We will move the fix for the reported issue in our upcoming weekly NuGet which is scheduled to be rolled out on May 26, 2020 . Meanwhile please use the patch provided,We appreciate your patience until then
Regards,
Mugundhan S.