Skip to content
Back to pull request #4294

Change many border widths from 1 to hairlineWidth #10540

Sign in to view logs

Change many border widths from 1 to hairlineWidth

Change many border widths from 1 to hairlineWidth #10540

build-and-test

build-and-test
succeeded May 31, 2024 in 1m 19s