Skip to content

Fix a typo#89081

Merged
bors merged 1 commit intomasterfrom
unknown repository
Sep 19, 2021

Commits

Commits on Sep 18, 2021

  • Fix typo

    author
    ondra05
    authored