Prioritize lower case over upper #2617

Triggered via push September 20, 2024 03:47

James-Yu

suggestion-order

Status Success

Total duration 2m 0s

Artifacts 1

texlive_on_linux.yml

on: push

Produced during runtime

Name	Size
test-log	310 KB