Skip to content
Jenkins
log in
Dashboard
All
bootstrap
#2930
Status
Changes
Console Output
View as plain text
View Build Information
Polling Log
Git Build Data
Lockable resources
Pipeline Steps
Workspaces
Previous Build
Next Build
Success
Changes
Summary
Fix typos in comment (#14194) (
commit: 144463d
) (
details
)
Commit
144463d346054ad202e72ca4dcd59ded2d0d17ea
by
noreply
Fix typos in comment (#14194)
(
commit: 144463d
)
The file was modified
stdlib/format.ml
(diff)