Closed thekaveman closed 4 months ago
Follow up to #2038
This PR does not seem to contain any modification to coverable code.
Follow up to #2038