Skip to content

Remove escape character in face description of $.$ #3610

Remove escape character in face description of $.$

Remove escape character in face description of $.$ #3610

Triggered via pull request January 29, 2026 23:36
Status Success
Total duration 48s
Artifacts

triage.yml

on: pull_request_target
Label Pull Request
6s
Label Pull Request
First Interaction
45s
First Interaction
Fit to window
Zoom out
Zoom in