a formatting tweak

FossilOrigin-Name: 9ac60ea565b65f9785d1f901854bdc5dafc52f31601613f7276913b55d2f82b7
This commit is contained in:
crc 2023-10-22 22:09:49 +00:00
parent c26569ba03
commit dad3833893