Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Minor typing fixes #12034

Merged
merged 2 commits into from
Feb 21, 2022
Merged

Minor typing fixes #12034

merged 2 commits into from
Feb 21, 2022

Commits on Feb 18, 2022

  1. Minor typing fixes

    These started failing in
    #12031... I'm a bit mystified by how
    they ever worked.
    richvdh committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    2d8701b View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2022

  1. Configuration menu
    Copy the full SHA
    c2cf0c0 View commit details
    Browse the repository at this point in the history