Closed DrDaveD closed 8 months ago
Cherry-pick #262 to the 1.2 branch.
Also pick CI commit from #237.
Cherry-pick #262 to the 1.2 branch.